2001-12-12 nipkow mods due to reorienting and renaming of real_minus_mult_eq1/2
2001-12-12 nipkow tuned conversion from terms to "polynomials" for arith_tac: takes care
2001-12-12 wenzelm drop_judgment: be graceful about undeclared judgment;
2001-12-12 wenzelm obsolete;
2001-12-12 wenzelm option "-d pdf" by default (accomodates pdf bias of Mac OS X);
2001-12-12 wenzelm removed installfonts, xterm interface;
2001-12-12 nipkow Removed pointless backtracking from arith_tac
2001-12-12 berghofe Improved error messages.
2001-12-12 nipkow *** empty log message ***
2001-12-11 wenzelm tuned;
2001-12-11 wenzelm obsolete;
2001-12-11 wenzelm obsolete;
2001-12-11 wenzelm tuned;
2001-12-11 wenzelm \isasymindex made text mode;
2001-12-11 wenzelm isatools "symbolinput" and "nonascii" have disappeared;
2001-12-11 wenzelm added HOL-Library;
Loading...
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip