Thu, 03 Feb 2005 16:06:19 +0100 new treatment of demodulation in proof reconstruction
paulson [Thu, 03 Feb 2005 16:06:19 +0100] rev 15495
new treatment of demodulation in proof reconstruction
Thu, 03 Feb 2005 04:09:52 +0100 don't generate latex for LaTeXsugar and OptionalSugar
kleing [Thu, 03 Feb 2005 04:09:52 +0100] rev 15494
don't generate latex for LaTeXsugar and OptionalSugar
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip