equal
deleted
inserted
replaced
592 ML |
592 ML |
593 Rewrite_Examples |
593 Rewrite_Examples |
594 SAT_Examples |
594 SAT_Examples |
595 SOS |
595 SOS |
596 SOS_Cert |
596 SOS_Cert |
|
597 Ballot |
|
598 Erdoes_Szekeres |
|
599 Sum_of_Powers |
597 theories [skip_proofs = false] |
600 theories [skip_proofs = false] |
598 Meson_Test |
601 Meson_Test |
599 theories [condition = ISABELLE_FULL_TEST] |
602 theories [condition = ISABELLE_FULL_TEST] |
600 Sudoku |
603 Sudoku |
601 document_files "root.bib" "root.tex" |
604 document_files "root.bib" "root.tex" |