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.
Added new theory ABexp, removed obsolete theory Simult.
authorberghofe
Fri, 23 Oct 1998 12:57:44 +0200
changeset 5739 f35761a1e1c4
parent 5738 0d8698c15439
child 5740 3a466866f7b9
Added new theory ABexp, removed obsolete theory Simult.
src/HOL/Induct/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Induct/ROOT.ML	Fri Oct 23 12:56:13 1998 +0200
+++ b/src/HOL/Induct/ROOT.ML	Fri Oct 23 12:57:44 1998 +0200
@@ -19,5 +19,5 @@
 time_use_thy "SList";
 time_use_thy "LFilter";
 time_use_thy "Term";
-time_use_thy "Simult";
+time_use_thy "ABexp";
 time_use_thy "Exp";
isabelle