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/HOL/IsaMakefile
changeset 47660 7a5c681c0265
parent 47654 f7df7104d13e
child 47694 05663f75964c 
--- a/src/HOL/IsaMakefile	Sat Apr 21 21:38:08 2012 +0200
+++ b/src/HOL/IsaMakefile	Sun Apr 22 11:05:04 2012 +0200
@@ -1509,6 +1509,7 @@
   Quotient_Examples/DList.thy \
   Quotient_Examples/FSet.thy \
   Quotient_Examples/Quotient_Int.thy Quotient_Examples/Quotient_Message.thy \
+  Quotient_Examples/Lift_FSet.thy \
   Quotient_Examples/Lift_Set.thy Quotient_Examples/Lift_RBT.thy \
   Quotient_Examples/Lift_Fun.thy Quotient_Examples/Lift_DList.thy
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples
isabelle