# HG changeset patch
# User narasche
# Date 909151861 -7200
# Node ID 283f32019d586f5efe1bb2389ce07f832d2bd08f
# Parent  139a25a1e01e2007a7c11a1fb0705632ceeb7e65
ex/Points added

diff -r 139a25a1e01e -r 283f32019d58 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Oct 23 16:07:54 1998 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 23 16:11:01 1998 +0200
@@ -303,7 +303,7 @@
   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/PiSets.thy ex/PiSets.ML ex/LocaleGroup.thy ex/LocaleGroup.ML \
-  ex/Antiquote.thy ex/Antiquote.ML
+  ex/Antiquote.thy ex/Antiquote.ML ex/Points.thy ex/Points.ML
 	@$(ISATOOL) usedir $(OUT)/HOL ex