2005-02-08 nipkow cvs merge problem fixed
2005-02-08 paulson new treatment of fold1
2005-02-08 nipkow Fixed lattice defns
2005-02-07 nipkow *** empty log message ***
2005-02-07 nipkow fixed latex problems by including bigsqcap
2005-02-07 nipkow fixed latex problems
2005-02-06 paulson fixed mac line
2005-02-05 nipkow Added Lattice locale
2005-02-04 paulson clausification and proof reconstruction
2005-02-04 paulson comment
2005-02-04 nipkow Added semi-lattice locales and reorganized fold1 lemmas
2005-02-03 nipkow added find_rewrites
2005-02-03 paulson new treatment of demodulation in proof reconstruction
2005-02-03 kleing don't generate latex for LaTeXsugar and OptionalSugar
2005-02-03 kleing removed sugar.sty (obsolete for devel version)
Loading...
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip