2001-06-26 paulson tidying and consolidating files
2001-06-26 paulson tidying and consolidating files
2001-06-26 nipkow removed duplicate proof and small mod.
2001-06-25 paulson Simprocs for type "nat" no longer introduce numerals unless
2001-06-25 paulson Simprocs for type "nat" no longer introduce numerals unless they are already
2001-06-16 oheimb added NanoJava
2001-06-13 paulson tidied
2001-06-13 paulson New proof of gcd_zero after a change to Divides.ML made the old one fail
2001-06-13 paulson a couple of new theorems
2001-06-12 oheimb corrected xsymbol/HTML syntax
2001-06-11 berghofe Fixed bug in function rebuild.
2001-06-10 paulson new GroupTheory example, e.g. the Sylow theorem (preliminary version)
Loading...
(0) -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip