equal
deleted
inserted
replaced
574 Quicksort |
574 Quicksort |
575 Records |
575 Records |
576 Reflection_Examples |
576 Reflection_Examples |
577 Refute_Examples |
577 Refute_Examples |
578 Rewrite_Examples |
578 Rewrite_Examples |
579 SAT_Examples |
|
580 SOS |
579 SOS |
581 SOS_Cert |
580 SOS_Cert |
582 Seq |
581 Seq |
583 Serbian |
582 Serbian |
584 Set_Comprehension_Pointfree_Examples |
583 Set_Comprehension_Pointfree_Examples |
599 Unification |
598 Unification |
600 While_Combinator_Example |
599 While_Combinator_Example |
601 Word_Type |
600 Word_Type |
602 veriT_Preprocessing |
601 veriT_Preprocessing |
603 theories [skip_proofs = false] |
602 theories [skip_proofs = false] |
|
603 SAT_Examples |
604 Meson_Test |
604 Meson_Test |
605 |
605 |
606 session "HOL-Isar_Examples" in Isar_Examples = "HOL-Computational_Algebra" + |
606 session "HOL-Isar_Examples" in Isar_Examples = "HOL-Computational_Algebra" + |
607 description {* |
607 description {* |
608 Miscellaneous Isabelle/Isar examples. |
608 Miscellaneous Isabelle/Isar examples. |