Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
loading the new theory MultisetOrder
authorpaulson
Mon, 22 May 2000 12:35:34 +0200
changeset 8917 2ff6f8693c4f
parent 8916 433843c1b454
child 8918 361a7f24be56
loading the new theory MultisetOrder
src/HOL/Induct/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Induct/ROOT.ML	Mon May 22 12:35:02 2000 +0200
+++ b/src/HOL/Induct/ROOT.ML	Mon May 22 12:35:34 2000 +0200
@@ -13,7 +13,7 @@
 time_use_thy "Comb";
 time_use_thy "Mutil";
 time_use_thy "Acc";
-time_use_thy "Multiset";
+time_use_thy "MultisetOrder";
 time_use_thy "PropLog";
 time_use_thy "SList";
 time_use_thy "LFilter";
isabelle