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.
add new makefile dependencies
authorhuffman
Thu, 19 Nov 2009 08:08:57 -0800
changeset 33783 685bbf418cb7
parent 33782 cdb3ca1a765d
child 33784 7e434813752f
add new makefile dependencies
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Thu Nov 19 08:00:42 2009 -0800
+++ b/src/HOLCF/IsaMakefile	Thu Nov 19 08:08:57 2009 -0800
@@ -52,6 +52,7 @@
   Pcpo.thy \
   Porder.thy \
   Product_Cpo.thy \
+  Representable.thy \
   Sprod.thy \
   Ssum.thy \
   Sum_Cpo.thy \
@@ -69,6 +70,7 @@
   Tools/Domain/domain_theorems.ML \
   Tools/fixrec.ML \
   Tools/pcpodef.ML \
+  Tools/repdef.ML \
   holcf_logic.ML \
   document/root.tex
 	@$(ISABELLE_TOOL) usedir -b -g true -r $(OUT)/HOL HOLCF
isabelle