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/HOLCF/HOLCF.thy
changeset 17923 18c66ca0c776
parent 17876 b9c92f384109
child 19105 3aabd46340e0 
--- a/src/HOLCF/HOLCF.thy	Wed Oct 19 21:52:34 2005 +0200
+++ b/src/HOLCF/HOLCF.thy	Wed Oct 19 21:52:35 2005 +0200
@@ -15,7 +15,6 @@
   "domain/axioms.ML"
   "domain/theorems.ML"
   "domain/extender.ML"
-  "domain/interface.ML"
   "adm_tac.ML"
 
 begin
isabelle