equal
deleted
inserted
replaced
586 Executable_Relation |
586 Executable_Relation |
587 FinFunPred |
587 FinFunPred |
588 Set_Comprehension_Pointfree_Examples |
588 Set_Comprehension_Pointfree_Examples |
589 Parallel_Example |
589 Parallel_Example |
590 IArray_Examples |
590 IArray_Examples |
591 SVC_Oracle |
|
592 Simps_Case_Conv_Examples |
591 Simps_Case_Conv_Examples |
593 ML |
592 ML |
594 Rewrite_Examples |
593 Rewrite_Examples |
595 SAT_Examples |
594 SAT_Examples |
596 SOS |
595 SOS |
597 SOS_Cert |
596 SOS_Cert |
598 theories [skip_proofs = false] |
597 theories [skip_proofs = false] |
599 Meson_Test |
598 Meson_Test |
600 theories [condition = SVC_HOME] |
|
601 svc_test |
|
602 theories [condition = ISABELLE_FULL_TEST] |
599 theories [condition = ISABELLE_FULL_TEST] |
603 Sudoku |
600 Sudoku |
604 document_files "root.bib" "root.tex" |
601 document_files "root.bib" "root.tex" |
605 |
602 |
606 session "HOL-Isar_Examples" in Isar_Examples = HOL + |
603 session "HOL-Isar_Examples" in Isar_Examples = HOL + |