| Mon, 25 Aug 2014 12:58:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 27 Aug 2014 13:05:59 +0200 | blanchet | removed not so interesting 'set_empty' | changeset | files |
| 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 |
| Tue, 19 Aug 2014 18:37:32 +0200 | hoelzl | better linarith support for floor, ceiling, natfloor, and natceiling | changeset | files |
| Mon, 25 Aug 2014 09:40:50 +0200 | Andreas Lochbihler | add testing framework for generated code | changeset | files |