# HG changeset patch
# User paulson
# Date 834747811 -7200
# Node ID 334308d2afbce160a9fd326d8431d2475042252c
# Parent  c42db9ab8728a2e34b43ae0e466aacc3757c4ad1
Updated list of theories for target ex

diff -r c42db9ab8728 -r 334308d2afbc src/HOL/Makefile
--- a/src/HOL/Makefile	Fri Jun 14 12:22:59 1996 +0200
+++ b/src/HOL/Makefile	Fri Jun 14 12:23:31 1996 +0200
@@ -181,8 +181,8 @@
         fi
 
 ##Miscellaneous examples
-EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \
-	   String BT Perm Comb
+EX_NAMES = String BT Perm Comb InSort Qsort LexProd Puzzle Mutil \
+            Primes NatSum SList LList Acc PropLog Term Simult MT	    
 
 EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \
            ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)