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 6526 6b64d1454ee3
parent 6444 2ebe9e630cab
child 6559 fa203026941c 
--- a/src/HOL/Isar_examples/ROOT.ML	Tue Apr 27 13:05:52 1999 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML	Tue Apr 27 15:10:36 1999 +0200
@@ -9,3 +9,5 @@
 use_thy "Peirce";
 use_thy "Cantor";
 use_thy "ExprCompiler";
+use_thy "NatSum";
+
isabelle