huffman [Tue, 14 Aug 2007 23:05:55 +0200] rev 24269
remove redundant assumption from Rep_range lemma
huffman [Tue, 14 Aug 2007 23:04:27 +0200] rev 24268
minimize imports
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;