equal
deleted
inserted
replaced
747 Misc_Codatatype |
747 Misc_Codatatype |
748 Misc_Datatype |
748 Misc_Datatype |
749 Misc_Primcorec |
749 Misc_Primcorec |
750 Misc_Primrec |
750 Misc_Primrec |
751 theories [condition = ISABELLE_FULL_TEST] |
751 theories [condition = ISABELLE_FULL_TEST] |
|
752 Brackin |
|
753 Instructions |
752 IsaFoR_Datatypes |
754 IsaFoR_Datatypes |
|
755 SML |
|
756 Verilog |
753 |
757 |
754 session "HOL-Word" (main) in Word = HOL + |
758 session "HOL-Word" (main) in Word = HOL + |
755 options [document_graph] |
759 options [document_graph] |
756 theories Word |
760 theories Word |
757 document_files "root.bib" "root.tex" |
761 document_files "root.bib" "root.tex" |