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/IsaMakefile
changeset 40772 c8b52f9e1680
parent 40592 f432973ce0f6 
--- a/src/HOLCF/IsaMakefile	Sat Nov 27 13:12:10 2010 -0800
+++ b/src/HOLCF/IsaMakefile	Sat Nov 27 14:09:03 2010 -0800
@@ -43,6 +43,7 @@
   Completion.thy \
   Cont.thy \
   ConvexPD.thy \
+  Cpodef.thy \
   Cprod.thy \
   Discrete.thy \
   Deflation.thy \
@@ -56,7 +57,6 @@
   LowerPD.thy \
   Map_Functions.thy \
   One.thy \
-  Pcpodef.thy \
   Pcpo.thy \
   Plain_HOLCF.thy \
   Porder.thy \
@@ -78,9 +78,9 @@
   Tools/Domain/domain_induction.ML \
   Tools/Domain/domain_isomorphism.ML \
   Tools/Domain/domain_take_proofs.ML \
+  Tools/cpodef.ML \
   Tools/domaindef.ML \
   Tools/fixrec.ML \
-  Tools/pcpodef.ML \
   document/root.tex
 	@$(ISABELLE_TOOL) usedir -b -g true -r $(OUT)/HOL HOLCF
isabelle