Directory Induct: Added new theory ABexp, removed obsolete
authorberghofe
Fri Oct 23 12:59:03 1998 +0200 (1998-10-23)
changeset 57403a466866f7b9
parent 5739 f35761a1e1c4
child 5741 139a25a1e01e
Directory Induct: Added new theory ABexp, removed obsolete
theory Simult.
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 23 12:57:44 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 23 12:59:03 1998 +0200
     1.3 @@ -83,8 +83,8 @@
     1.4    Induct/Multiset0.ML Induct/Multiset0.thy \
     1.5    Induct/Multiset.ML Induct/Multiset.thy \
     1.6    Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \
     1.7 -  Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \
     1.8 -  Induct/Simult.thy Induct/Term.ML Induct/Term.thy
     1.9 +  Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/ABexp.ML \
    1.10 +  Induct/ABexp.thy Induct/Term.ML Induct/Term.thy
    1.11  	@$(ISATOOL) usedir $(OUT)/HOL Induct
    1.12  
    1.13