2013-09-06 wenzelm tuned proofs;
2013-09-06 wenzelm tuned proofs;
2013-09-06 wenzelm prefer Isabelle/Scala over bash;
2013-09-06 wenzelm prefer Isabelle/Scala over bash;
2013-09-06 wenzelm prefer warm start via JEdit_Main;
2013-09-06 haftmann slight cleanup of lemma locations; tuned proof
2013-09-06 haftmann tuned
2013-09-06 wenzelm tuned;
2013-09-06 wenzelm tuned;
2013-09-06 wenzelm removed junk;
2013-09-06 wenzelm more standard header;
2013-09-06 wenzelm updated keywords;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 tip