equal
deleted
inserted
replaced
617 Ballot |
617 Ballot |
618 Erdoes_Szekeres |
618 Erdoes_Szekeres |
619 Sum_of_Powers |
619 Sum_of_Powers |
620 Sudoku |
620 Sudoku |
621 Code_Timing |
621 Code_Timing |
|
622 Perm_Fragments |
622 theories [skip_proofs = false] |
623 theories [skip_proofs = false] |
623 Meson_Test |
624 Meson_Test |
624 document_files "root.bib" "root.tex" |
625 document_files "root.bib" "root.tex" |
625 |
626 |
626 session "HOL-Isar_Examples" in Isar_Examples = HOL + |
627 session "HOL-Isar_Examples" in Isar_Examples = HOL + |