blanchet [Wed, 18 Sep 2013 15:33:32 +0200] rev 54829
tuning
blanchet [Wed, 18 Sep 2013 15:33:31 +0200] rev 54828
fixed embarrassing typo in example
blanchet [Wed, 18 Sep 2013 15:33:30 +0200] rev 54827
avoid duplicate simp rule warnings
nipkow [Wed, 18 Sep 2013 12:16:10 +0200] rev 54826
added and tuned lemmas
wenzelm [Wed, 18 Sep 2013 00:11:15 +0200] rev 54825
tuned proofs;
wenzelm [Tue, 17 Sep 2013 21:20:55 +0200] rev 54824
updated to official polyml-5.5.1;
wenzelm [Tue, 17 Sep 2013 21:12:41 +0200] rev 54823
updated to polyml-5.5.1;
prefer explicit POLYML_HOME to simplify additional user settings;
wenzelm [Tue, 17 Sep 2013 17:17:55 +0200] rev 54822
actually use x86_64 machine;
kuncar [Tue, 17 Sep 2013 15:49:11 +0200] rev 54821
correct merging of restore data
lammich <lammich@in.tum.de> [Tue, 17 Sep 2013 15:18:14 +0200] rev 54820
order_bot, order_top