2004-04-21 paulson now included in Complex/README.html
2004-04-21 paulson fixed to include Real and Hyperreal
2004-04-20 kleing add HOL4 image, needs fixing
2004-04-19 kleing temporarily reverted quote change for release. breaks latex output, needs more testing. Isabelle2004_0
2004-04-19 paulson badly-needed updates
2004-04-19 kleing inlcude HOL proof terms and HOL4 image
2004-04-19 paulson fixed address
2004-04-19 paulson fixed address
2004-04-19 skalberg Forgot a couple of checks for the quick_and_dirty flag the other day.
2004-04-19 kleing renamed HOL-Import-HOL to HOL4, added to images target
2004-04-19 kleing change quote to Library.quote, fixes LaTeX \isarchardoublequote problem.
2004-04-19 kleing add HOL4
2004-04-18 kleing devel snapshot is now tested
2004-04-18 kleing updated Tobias' address
Loading...
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip