huffman [Tue, 14 Aug 2007 23:03:42 +0200] rev 24267
rename lemmas finite->finite_UNIV, finite_set->finite; declare finite[simp]
nipkow [Tue, 14 Aug 2007 19:23:27 +0200] rev 24266
extended linear arith capabilities with code by Amine
narboux [Tue, 14 Aug 2007 15:09:33 +0200] rev 24265
fix the generation of eqvt lemma of equality form from the imp form when the relation is equality
wenzelm [Tue, 14 Aug 2007 13:20:47 +0200] rev 24264
moved Tools/xml.ML to General/xml.ML (again);
wenzelm [Tue, 14 Aug 2007 13:20:21 +0200] rev 24263
added generic wrapper for parse/read functions;
renamed read_term to standard_read_term etc.;
wenzelm [Tue, 14 Aug 2007 13:20:20 +0200] rev 24262
tuned;
wenzelm [Tue, 14 Aug 2007 13:20:19 +0200] rev 24261
PrimitiveDefs.dest/abs_def;
wenzelm [Tue, 14 Aug 2007 13:20:18 +0200] rev 24260
PrimitiveDefs.dest_def;
Syntax.standard_read;
wenzelm [Tue, 14 Aug 2007 13:20:17 +0200] rev 24259
Primitive definition forms.
wenzelm [Tue, 14 Aug 2007 13:20:16 +0200] rev 24258
moved support for primitive defs to primitive_defs.ML;