wenzelm [Thu, 27 Sep 2007 17:57:12 +0200] rev 24743
proper handling of chained facts;
paulson [Thu, 27 Sep 2007 17:55:28 +0200] rev 24742
removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering
theorems of Nat.thy are hidden by the Ordering.thy versions
ballarin [Thu, 27 Sep 2007 17:28:05 +0200] rev 24741
Fixed setup of transitivity reasoner (function decomp).
wenzelm [Thu, 27 Sep 2007 17:22:15 +0200] rev 24740
some more simultaneous use_thys;
wenzelm [Thu, 27 Sep 2007 11:46:05 +0200] rev 24739
read: explicit treatment of scanner failure;
wenzelm [Wed, 26 Sep 2007 22:38:11 +0200] rev 24738
tuned;
wenzelm [Wed, 26 Sep 2007 22:28:00 +0200] rev 24737
tuned;
wenzelm [Wed, 26 Sep 2007 22:27:44 +0200] rev 24736
tuned;
wenzelm [Wed, 26 Sep 2007 22:21:05 +0200] rev 24735
* Pure/Isar: unified specification syntax admits type inference and dummy patterns;
print mode: no_abbrevs;
wenzelm [Wed, 26 Sep 2007 22:21:02 +0200] rev 24734
read/check_specification: free_dummy_patterns;