--- a/src/HOL/ROOT Wed Oct 23 09:58:30 2013 +0200
+++ b/src/HOL/ROOT Wed Oct 23 14:53:36 2013 +0200
@@ -733,6 +733,7 @@
theories [condition = ISABELLE_FULL_TEST]
Misc_Codatatype
Misc_Datatype
+ Misc_Primcorec
Misc_Primrec
session "HOL-Word" (main) in Word = HOL +