equal
deleted
inserted
replaced
132 |
132 |
133 (* FIXXXXXXXXXME.WN060713 guh -- theID |
133 (* FIXXXXXXXXXME.WN060713 guh -- theID |
134 case get_the ["IsacKnowledge", "Test", "Rulesets", "Test_simplify"] of |
134 case get_the ["IsacKnowledge", "Test", "Rulesets", "Test_simplify"] of |
135 Hrls {guh = "thy_Test-rls-Test_simplify",thy_rls = ("Test", _), |
135 Hrls {guh = "thy_Test-rls-Test_simplify",thy_rls = ("Test", _), |
136 mathauthors = _,coursedesign = _} => () |
136 mathauthors = _,coursedesign = _} => () |
137 | _ => raise error "thy-hierarchy.sml: [IsacKnowledge,Test,Rulesets]"; |
137 | _ => error "thy-hierarchy.sml: [IsacKnowledge,Test,Rulesets]"; |
138 *) |
138 *) |
139 |
139 |
140 |
140 |
141 "----------- fun thydata2xml -------------------------------------"; |
141 "----------- fun thydata2xml -------------------------------------"; |
142 "----------- fun thydata2xml -------------------------------------"; |
142 "----------- fun thydata2xml -------------------------------------"; |
192 *) |
192 *) |
193 |
193 |
194 case get_the ["IsacKnowledge", "Biegelinie", "Theorems"] of |
194 case get_the ["IsacKnowledge", "Biegelinie", "Theorems"] of |
195 Html {mathauthors = |
195 Html {mathauthors = |
196 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>() |
196 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>() |
197 | _ => raise error "thy-hierarchy.sml: store_isa overwritten"; |
197 | _ => error "thy-hierarchy.sml: store_isa overwritten"; |
198 |
198 |
199 case get_the ["IsacKnowledge","Biegelinie","Theorems","Belastung_Querkraft"] of |
199 case get_the ["IsacKnowledge","Biegelinie","Theorems","Belastung_Querkraft"] of |
200 Hthm {mathauthors = |
200 Hthm {mathauthors = |
201 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>() |
201 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>() |
202 | _ => raise error "thy-hierarchy.sml: store_isa overwritten"; |
202 | _ => error "thy-hierarchy.sml: store_isa overwritten"; |
203 |
203 |
204 (* |
204 (* |
205 print_depth 7; |
205 print_depth 7; |
206 get_the ["IsacKnowledge","Biegelinie","Theorems","Belastung_Querkraft"]; |
206 get_the ["IsacKnowledge","Biegelinie","Theorems","Belastung_Querkraft"]; |
207 print_depth 3; |
207 print_depth 3; |