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.
loads the new theory
authorpaulson
Wed, 10 Jan 2001 11:12:17 +0100
changeset 10847 b35a68ec8892
parent 10846 623141a08705
child 10848 7b3ee4695fe6
loads the new theory
doc-src/TutorialI/Rules/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/Rules/ROOT.ML	Wed Jan 10 11:09:11 2001 +0100
+++ b/doc-src/TutorialI/Rules/ROOT.ML	Wed Jan 10 11:12:17 2001 +0100
@@ -2,5 +2,5 @@
 use_thy "Basic";
 use_thy "Blast";
 use_thy "Force";
-use_thy "Primes";
+use_thy "Forward";
isabelle