Wed, 27 Aug 2014 08:41:12 +0200 | blanchet | avoid 'PolyML.makestring' | changeset | files |
Mon, 25 Aug 2014 14:24:05 +0200 | hoelzl | introduce real_of typeclass for real :: 'a => real | changeset | files |
Mon, 25 Aug 2014 16:06:41 +0200 | nipkow | added lemmas | changeset | files |