isabelle: Changelog

wenzelm [Mon, 28 Aug 2000 13:52:38 +0200] rev 9695

proper setup of iman.sty/extra.sty/ttbox.sty;

wenzelm [Mon, 28 Aug 2000 13:50:24 +0200] rev 9694

updated;

wenzelm [Mon, 28 Aug 2000 13:48:47 +0200] rev 9693

moved \tt things to ttbox.sty; removed \Pure etc;

wenzelm [Mon, 28 Aug 2000 13:48:25 +0200] rev 9692

proper setup;

wenzelm [Mon, 28 Aug 2000 13:48:14 +0200] rev 9691

removed ttbox;

nipkow [Mon, 28 Aug 2000 10:16:58 +0200] rev 9690

*** empty log message ***

Mon, 28 Aug 2000 09:32:51 +0200 *** empty log message ***

nipkow [Mon, 28 Aug 2000 09:32:51 +0200] rev 9689

*** empty log message ***

paulson [Fri, 25 Aug 2000 12:17:09 +0200] rev 9688

added \trivlist...\endtrivlist to the "isabelle" environment in order to correct several problems (e.g. need for newlines and %)

paulson [Fri, 25 Aug 2000 12:15:35 +0200] rev 9687

moved congruence rules UN_cong, INT_cong from UNTIY/Union to Set.ML

paulson [Thu, 24 Aug 2000 12:39:42 +0200] rev 9686

xsymbols for {| and |}

isabelle