2013-09-06 | wenzelm | tuned proofs; | changeset | files |
2013-09-06 | wenzelm | tuned proofs; | changeset | files |
2013-09-06 | wenzelm | prefer Isabelle/Scala over bash; | changeset | files |
2013-09-06 | wenzelm | prefer Isabelle/Scala over bash; | changeset | files |
2013-09-06 | wenzelm | prefer warm start via JEdit_Main; | changeset | files |
2013-09-06 | haftmann | slight cleanup of lemma locations; tuned proof | changeset | files |
2013-09-06 | haftmann | tuned | changeset | files |
2013-09-06 | wenzelm | tuned; | changeset | files |
2013-09-06 | wenzelm | tuned; | changeset | files |
2013-09-06 | wenzelm | removed junk; | changeset | files |
2013-09-06 | wenzelm | more standard header; | changeset | files |
2013-09-06 | wenzelm | updated keywords; | changeset | files |
Loading... |