wenzelm [Mon, 08 Aug 2011 19:59:35 +0200] rev 44938
ship message in one piece;
wenzelm [Mon, 08 Aug 2011 17:23:15 +0200] rev 44937
misc tuning -- eliminated old-fashioned rep_thm;
wenzelm [Mon, 08 Aug 2011 16:38:59 +0200] rev 44936
modernized strcture Proof_Checker;
wenzelm [Mon, 08 Aug 2011 16:09:34 +0200] rev 44935
less ambitious use of AttributedString, for proper caret painting within \<^sup>\<foobar>;
kleing [Mon, 08 Aug 2011 16:47:55 +0200] rev 44934
import constant folding theory into IMP
kleing [Sat, 06 Aug 2011 15:48:08 +0200] rev 44933
make syntax ambiguity warnings a config option
huffman [Mon, 08 Aug 2011 11:47:41 -0700] rev 44932
add lemmas INF_image, SUP_image
huffman [Mon, 08 Aug 2011 11:25:18 -0700] rev 44931
declare {INF,SUP}_empty [simp]
huffman [Mon, 08 Aug 2011 10:32:55 -0700] rev 44930
rename Pair_fst_snd_eq to prod_eq_iff (keeping old name too)
huffman [Mon, 08 Aug 2011 10:26:26 -0700] rev 44929
standard theorem naming scheme: complex_eqI, complex_eq_iff