2020-06-11 paulson fixed the utterly weird definitions of asym / asymp, and added many asym lemmas
2020-06-11 wenzelm tuned whitespace;
2020-06-11 wenzelm proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;
2020-06-10 wenzelm updated to jedit-5.6pre1 (repository version 25349);
2020-06-10 blanchet simplified 'smt_proofs' option to be a binary option (instead of ternary), now that SMT proofs are accepted in the AFP (done with Martin Desharnais)
2020-06-09 paulson New Ackermann development
2020-06-08 wenzelm tuned document;
2020-06-08 wenzelm proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
2020-06-08 wenzelm NEWS;
2020-06-08 wenzelm clarified sessions;
2020-06-08 wenzelm clarified sessions: "Notable Examples in Isabelle/HOL";
2020-06-08 wenzelm clarified sessions: "Notable Examples in Isabelle/Pure";
2020-06-06 haftmann NEWS
2020-06-04 haftmann more theorems
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip