author | agriesma |
Thu, 17 Apr 2003 18:01:03 +0200 | |
branch | griesmayer |
changeset 319 | 35f3ce870fdd |
parent 318 | a0c068d1e54e |
child 320 | ed44605b37b6 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/sml/IsacKnowledge/Isac.ML Thu Apr 17 18:01:03 2003 +0200 1.3 @@ -0,0 +1,6 @@ 1.4 +(* tools for isac.thy, collection all knowledge defined so far 1.5 + WN.3.00 1.6 + *) 1.7 + 1.8 + 1.9 +theory' := overwritel (!theory', [("Isac.thy",Isac.thy)]);