--- a/src/HOL/ROOT Tue Sep 16 19:23:37 2014 +0200
+++ b/src/HOL/ROOT Tue Sep 16 19:23:37 2014 +0200
@@ -755,10 +755,7 @@
Misc_Primrec
theories [condition = ISABELLE_FULL_TEST, timing]
Brackin
- Instructions
IsaFoR
- SML
- Verilog
session "HOL-Word" (main) in Word = HOL +
options [document_graph]