doc-src/TutorialI/isabelle.sty
2007-10-16 wenzelm 2007-10-16 updated;
2007-04-12 wenzelm 2007-04-12 updated;
2006-02-06 wenzelm 2006-02-06 updated;
2005-09-20 wenzelm 2005-09-20 updated;
2005-09-01 wenzelm 2005-09-01 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-28 wenzelm 2005-08-28 updated;
2005-08-16 wenzelm 2005-08-16 updated;
2005-06-28 paulson 2005-06-28 replacing zabs_def by abs_if
2005-06-06 nipkow 2005-06-06 *** empty log message ***
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-11 paulson 2004-05-11 auto update
2004-01-12 paulson 2004-01-12 Added lemmas to Ring_and_Field with slightly modified simplification rules Deleted some little-used integer theorems, replacing them by the generic ones in Ring_and_Field Consolidated integer powers
2004-01-06 paulson 2004-01-06 auto update
2003-10-22 paulson 2003-10-22 auto update
2003-05-06 paulson 2003-05-06 new version
2001-10-21 wenzelm 2001-10-21 updated;
2001-09-27 wenzelm 2001-09-27 updated;
2001-01-21 wenzelm 2001-01-21 updated;
2001-01-10 nipkow 2001-01-10 *** empty log message ***
2001-01-08 nipkow 2001-01-08 *** empty log message ***
2001-01-07 wenzelm 2001-01-07 updated;
2000-12-04 wenzelm 2000-12-04 *** empty log message ***
2000-11-15 wenzelm 2000-11-15 updated;
2000-11-09 wenzelm 2000-11-09 updated;
2000-10-18 wenzelm 2000-10-18 updated;
2000-10-16 wenzelm 2000-10-16 updated;
2000-10-12 wenzelm 2000-10-12 updated;
2000-10-03 wenzelm 2000-10-03 updated;
2000-09-26 wenzelm 2000-09-26 updated;
2000-09-20 wenzelm 2000-09-20 updated;
2000-09-15 nipkow 2000-09-15 *** empty log message ***
2000-09-11 wenzelm 2000-09-11 updated;
2000-09-05 wenzelm 2000-09-05 updated;
2000-09-02 wenzelm 2000-09-02 updated;
2000-08-29 wenzelm 2000-08-29 updated;
2000-08-28 wenzelm 2000-08-28 updated;
2000-08-21 wenzelm 2000-08-21 updated;
2000-05-08 wenzelm 2000-05-08 updated;
2000-04-25 nipkow 2000-04-25 *** empty log message ***
2000-04-19 nipkow 2000-04-19 *** empty log message ***