doc-src/TutorialI/IsaMakefile
2001-04-10 paulson 2001-04-10 Protocols chapter
2001-03-13 nipkow 2001-03-13 *** empty log message ***
2001-01-25 nipkow 2001-01-25 *** empty log message ***
2001-01-22 paulson 2001-01-22 new examples theory Rules/Tacticals.thy
2001-01-10 paulson 2001-01-10 fixed the treatment of Rules and Sets
2001-01-05 nipkow 2001-01-05 *** empty log message ***
2001-01-03 paulson 2001-01-03 Types chapter now uses HOL-Real
2001-01-02 nipkow 2001-01-02 *** empty log message ***
2000-12-15 wenzelm 2000-12-15 usedir -m brackets;
2000-12-15 nipkow 2000-12-15 *** empty log message ***
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-12-05 paulson 2000-12-05 new theory Numbers.thy
2000-11-30 nipkow 2000-11-30 *** empty log message ***
2000-11-29 nipkow 2000-11-29 *** empty log message ***
2000-11-03 paulson 2000-11-03 replaced Acc.thy by Advanced.thy
2000-10-31 nipkow 2000-10-31 *** empty log message ***
2000-10-25 nipkow 2000-10-25 *** empty log message ***
2000-10-23 paulson 2000-10-23 now includes Rules, Sets (?)
2000-10-16 nipkow 2000-10-16 *** empty log message ***
2000-10-13 nipkow 2000-10-13 *** empty log message ***
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-02 nipkow 2000-10-02 *** empty log message ***
2000-09-15 wenzelm 2000-09-15 *** empty log message ***
2000-09-14 nipkow 2000-09-14 *** empty log message ***
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-05 nipkow 2000-09-05 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-28 nipkow 2000-08-28 *** empty log message ***
2000-08-21 nipkow 2000-08-21 *** empty log message ***
2000-08-18 nipkow 2000-08-18 *** empty log message ***
2000-08-04 wenzelm 2000-08-04 targets for images, test, all;
2000-08-02 nipkow 2000-08-02 *** empty log message ***
2000-05-09 wenzelm 2000-05-09 use proper version of pdfsetup.sty;
2000-05-08 wenzelm 2000-05-08 improved handling of Isabelle styles (less garbage);
2000-04-20 nipkow 2000-04-20 *** empty log message ***
2000-04-19 nipkow 2000-04-19 *** empty log message ***
2000-04-19 nipkow 2000-04-19 I wonder if that's all?