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.
removed obsolete HOLCF.ML;
authorwenzelm
Thu, 28 Sep 2006 23:42:53 +0200
changeset 20775 69f83b886422
parent 20774 8f947ffb5eb8
child 20776 cc436bcdd5fc
removed obsolete HOLCF.ML;
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Thu Sep 28 23:42:50 2006 +0200
+++ b/src/HOLCF/IsaMakefile	Thu Sep 28 23:42:53 2006 +0200
@@ -29,7 +29,7 @@
 
 $(OUT)/HOLCF: $(OUT)/HOL Adm.thy Cfun.thy Cont.thy	\
   Cprod.thy Discrete.thy Domain.thy Fix.thy Fixrec.thy	\
-  Ffun.thy HOLCF.ML HOLCF.thy Lift.thy One.thy	\
+  Ffun.thy HOLCF.thy Lift.thy One.thy	\
   Pcpo.thy Porder.thy ROOT.ML Sprod.thy	\
   Ssum.thy Tr.thy Pcpodef.thy pcpodef_package.ML	\
   Up.thy adm_tac.ML cont_consts.ML cont_proc.ML fixrec_package.ML	\
isabelle