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 examples for coherent logic prover.
authorberghofe
Mon, 22 Sep 2008 22:59:35 +0200
changeset 28324 0dd1a0b16a37
parent 28323 8f12f7275637
child 28325 0b6b83ec8458
Added examples for coherent logic prover.
src/HOL/ex/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ROOT.ML	Mon Sep 22 22:59:11 2008 +0200
+++ b/src/HOL/ex/ROOT.ML	Mon Sep 22 22:59:35 2008 +0200
@@ -60,7 +60,8 @@
   "set",
   "Meson_Test",
   "Code_Antiq",
-  "LexOrds"
+  "LexOrds",
+  "Coherent"
 ];
 
 setmp Proofterm.proofs 2 time_use_thy "Hilbert_Classical";
isabelle