wenzelm [Mon, 28 Aug 2000 14:09:12 +0200] rev 9696
add_path: del_path first;
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 ***
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