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 5250 1bff4b1e5ba9
parent 5225 092e77b6f7c6
child 5272 95cfd872fe66 
--- a/src/HOL/IsaMakefile	Tue Aug 04 18:24:34 1998 +0200
+++ b/src/HOL/IsaMakefile	Tue Aug 04 18:40:18 1998 +0200
@@ -289,7 +289,8 @@
   ex/mesontest.ML ex/set.ML ex/Group.ML ex/Group.thy ex/IntRing.ML \
   ex/IntRing.thy ex/IntRingDefs.ML ex/IntRingDefs.thy ex/Lagrange.ML \
   ex/Lagrange.thy ex/Ring.ML ex/Ring.thy ex/StringEx.ML \
-  ex/StringEx.thy ex/BinEx.ML ex/BinEx.thy ex/MonoidGroup.thy
+  ex/StringEx.thy ex/BinEx.ML ex/BinEx.thy ex/MonoidGroup.thy \
+  ex/PiSets.thy ex/PiSets.ML ex/LocaleGroup.thy ex/LocaleGroup.ML
 	@$(ISATOOL) usedir $(OUT)/HOL ex
isabelle