added Induct/Multiset*
authornipkow
Fri Oct 09 11:15:39 1998 +0200 (1998-10-09)
changeset 5627ac627075b808
parent 5626 f67c34721486
child 5628 15b7f12ad919
added Induct/Multiset*
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 09 11:15:07 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 09 11:15:39 1998 +0200
     1.3 @@ -81,6 +81,8 @@
     1.4    Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \
     1.5    Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
     1.6    Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \
     1.7 +  Induct/Multiset0.ML Induct/Multiset0.thy \
     1.8 +  Induct/Multiset.ML Induct/Multiset.thy \
     1.9    Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \
    1.10    Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \
    1.11    Induct/Simult.thy Induct/Term.ML Induct/Term.thy