src/HOL/IsaMakefile
changeset 5740 3a466866f7b9
parent 5712 18f1c2501343
child 5742 283f32019d58
equal deleted inserted replaced
5739:f35761a1e1c4 5740:3a466866f7b9
    81   Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
    81   Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
    82   Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \
    82   Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \
    83   Induct/Multiset0.ML Induct/Multiset0.thy \
    83   Induct/Multiset0.ML Induct/Multiset0.thy \
    84   Induct/Multiset.ML Induct/Multiset.thy \
    84   Induct/Multiset.ML Induct/Multiset.thy \
    85   Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \
    85   Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \
    86   Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \
    86   Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/ABexp.ML \
    87   Induct/Simult.thy Induct/Term.ML Induct/Term.thy
    87   Induct/ABexp.thy Induct/Term.ML Induct/Term.thy
    88 	@$(ISATOOL) usedir $(OUT)/HOL Induct
    88 	@$(ISATOOL) usedir $(OUT)/HOL Induct
    89 
    89 
    90 
    90 
    91 ## HOL-IMP
    91 ## HOL-IMP
    92 
    92