author | paulson |
Fri, 18 Feb 2000 15:35:29 +0100 | |
changeset 8255 | 38f96394c099 |
parent 7355 | 4c43090659ca |
child 8471 | 36446bf42b16 |
permissions | -rw-r--r-- |
theory FOL = IFOL files ("FOL_lemmas1.ML") ("cladata.ML") ("blastdata.ML") ("simpdata.ML") ("FOL_lemmas2.ML"): axioms classical: "(~P ==> P) ==> P" use "FOL_lemmas1.ML" use "cladata.ML" setup Cla.setup setup clasetup use "blastdata.ML" setup Blast.setup use "FOL_lemmas2.ML" use "simpdata.ML" setup simpsetup setup Clasimp.setup end