blanchet [Thu, 31 Jan 2013 12:09:07 +0100] rev 52183
adapted to new MaSh interface
hoelzl [Thu, 31 Jan 2013 11:31:30 +0100] rev 52182
use order topology for extended reals
hoelzl [Thu, 31 Jan 2013 11:31:27 +0100] rev 52181
introduce order topology
hoelzl [Thu, 31 Jan 2013 11:31:22 +0100] rev 52180
simplify heine_borel type class
blanchet [Thu, 31 Jan 2013 11:20:12 +0100] rev 52179
compute proper weight for "p proves p" in MaSh
kuncar [Tue, 15 Jan 2013 12:13:27 +0100] rev 52178
restore code equations for List.set in RBT_Set; make Scala happy according to 7.1 in the code generator manual
nipkow [Fri, 25 Jan 2013 16:45:09 +0100] rev 52177
tuned
wenzelm [Sun, 20 Jan 2013 15:34:27 +0100] rev 52176
back to post-release mode -- after fork point;
Walther Neuper <neuper@ist.tugraz.at> [Wed, 20 Nov 2013 11:01:08 +0100] rev 52175
Isabelle2013 --> 2013-1: finished 2013
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Tue, 19 Nov 2013 22:23:30 +0000] rev 52174
removed all code concerned with "castab = Unsynchronized.ref"