2001-09-27 wenzelm Square roots of primes are irrational;
2001-09-27 wenzelm AddXIs [dvdI]; AddXEs [dvdE];
2001-09-27 wenzelm tuned;
2001-09-27 wenzelm tuned;
2001-09-27 wenzelm tuned;
2001-09-27 wenzelm AddXEs [UnI1, UnI2];
2001-09-27 wenzelm AddXEs [disjI1, disjI2];
2001-09-27 wenzelm ex/Hilbert_Classical.thy ex/document/root.tex;
2001-09-27 wenzelm tuned;
2001-09-27 wenzelm document setup;
2001-09-27 wenzelm derive tertium-non-datur by means of Hilbert's choice operator;
2001-09-27 wenzelm obsolete;
2001-09-27 wenzelm updated;
2001-09-27 wenzelm -v option;
2001-09-27 wenzelm verbose option;
2001-09-27 wenzelm use_dir: verbose option;
2001-09-27 wenzelm removed option -d (now standard behaviour);
2001-09-27 wenzelm option -v;
2001-09-26 wenzelm activate default ISABELLE_USEDIR_OPTIONS for precompiled distribution;
2001-09-26 wenzelm updated;
2001-09-26 wenzelm tuned order;
2001-09-26 wenzelm bold symbols;
2001-09-26 wenzelm tuned;
2001-09-26 wenzelm turn bullet into bold cdot (looks much better in printed output);
Loading...
(0) -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip