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/Isar_examples/ROOT.ML
changeset 6559 fa203026941c
parent 6526 6b64d1454ee3
child 6765 6eba3d69037b 
--- a/src/HOL/Isar_examples/ROOT.ML	Fri Apr 30 18:13:55 1999 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML	Fri Apr 30 18:25:10 1999 +0200
@@ -10,4 +10,3 @@
 use_thy "Cantor";
 use_thy "ExprCompiler";
 use_thy "NatSum";
-
isabelle