wenzelm [Sun, 10 Dec 2006 15:30:49 +0100] rev 21749
respects2: tuned spacing;
wenzelm [Sun, 10 Dec 2006 15:30:48 +0100] rev 21748
support printing of idtdummy;
wenzelm [Sun, 10 Dec 2006 15:30:46 +0100] rev 21747
added is_class (approximation);
added abbrev;
tuned;
wenzelm [Sun, 10 Dec 2006 15:30:45 +0100] rev 21746
LocalTheory.notation/abbrev;
wenzelm [Sun, 10 Dec 2006 15:30:44 +0100] rev 21745
extract_case: Name.clean;
wenzelm [Sun, 10 Dec 2006 15:30:43 +0100] rev 21744
added target_notation/abbrev;
tuned;
wenzelm [Sun, 10 Dec 2006 15:30:42 +0100] rev 21743
added notation/abbrev (from term_syntax.ML);
wenzelm [Sun, 10 Dec 2006 15:30:40 +0100] rev 21742
tuned absdummy;
wenzelm [Sun, 10 Dec 2006 15:30:39 +0100] rev 21741
added no_frees;
add_abbrev: tuned handling of frees, temp workaround;
wenzelm [Sun, 10 Dec 2006 15:30:38 +0100] rev 21740
removed (cf. proof_context.ML and local_theory.ML);