equal
deleted
inserted
replaced
54 RandbedingungenNeigung :: "bool list => una" |
54 RandbedingungenNeigung :: "bool list => una" |
55 RandbedingungenMoment :: "bool list => una" |
55 RandbedingungenMoment :: "bool list => una" |
56 RandbedingungenQuerkraft :: "bool list => una" |
56 RandbedingungenQuerkraft :: "bool list => una" |
57 FunktionsVariable :: "real => una" |
57 FunktionsVariable :: "real => una" |
58 Funktionen :: "bool list => una" |
58 Funktionen :: "bool list => una" |
59 Gleichungen :: "bool list => una" |
59 Gleichungen :: "bool list => una" (*\<longrightarrow> Input_Descript.thy: known by fun is_NObrack_list*) |
60 GleichungsVariablen :: "real list => una" |
60 GleichungsVariablen :: "real list => una" |
61 |
61 |
62 |
62 |
63 section \<open>Theorems from statics, still as axioms\<close> |
63 section \<open>Theorems from statics, still as axioms\<close> |
64 |
64 |