Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 5627 ac627075b808
parent 5617 fc3a8b82d7c2
child 5636 dd8f30780fa9 
--- a/src/HOL/IsaMakefile	Fri Oct 09 11:15:07 1998 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 09 11:15:39 1998 +0200
@@ -81,6 +81,8 @@
   Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \
   Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
   Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \
+  Induct/Multiset0.ML Induct/Multiset0.thy \
+  Induct/Multiset.ML Induct/Multiset.thy \
   Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \
   Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \
   Induct/Simult.thy Induct/Term.ML Induct/Term.thy
isabelle