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.
Now imports Fact as suggested by Florian in order to avoid the typerep problem
authorchaieb
Mon, 09 Feb 2009 15:38:26 +0000
changeset 29837 eb7e62c0f53c
parent 29836 3d935e8b0bf7
child 29838 a562ca0c408d
Now imports Fact as suggested by Florian in order to avoid the typerep problem
src/HOL/Plain.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Plain.thy	Mon Feb 09 11:15:13 2009 +0000
+++ b/src/HOL/Plain.thy	Mon Feb 09 15:38:26 2009 +0000
@@ -1,7 +1,7 @@
 header {* Plain HOL *}
 
 theory Plain
-imports Datatype FunDef Record Extraction Divides
+imports Datatype FunDef Record Extraction Divides Fact
 begin
 
 text {*
isabelle