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 48625 77c416ef06fa
parent 48618 1f7e068b4613
child 48722 a5e3ba7cbb2a 
--- a/src/HOL/IsaMakefile	Tue Jul 31 13:55:39 2012 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 31 14:43:55 2012 +0200
@@ -1528,7 +1528,7 @@
   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_Set.thy \
   Quotient_Examples/Lift_Fun.thy Quotient_Examples/Lift_DList.thy
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples
isabelle