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.
removed Acc and Multiset (see HOL/Library);
authorwenzelm
Wed, 18 Oct 2000 23:39:19 +0200
changeset 10259 93ec82d535f2
parent 10258 d549f2534e6d
child 10260 6c31c8bb78e8
removed Acc and Multiset (see HOL/Library);
src/HOL/Induct/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Induct/ROOT.ML	Wed Oct 18 23:38:41 2000 +0200
+++ b/src/HOL/Induct/ROOT.ML	Wed Oct 18 23:39:19 2000 +0200
@@ -6,8 +6,6 @@
 time_use_thy "Perm";
 time_use_thy "Comb";
 time_use_thy "Mutil";
-time_use_thy "Acc";
-time_use_thy "MultisetOrder";
 time_use_thy "PropLog";
 time_use_thy "SList";
 setmp quick_and_dirty false     (* FIXME tmp hack *)
isabelle