Sat, 01 Jun 2013 11:48:06 +0200 | nipkow | tuned rules | changeset | files |
Fri, 31 May 2013 14:08:48 +0200 | blanchet | tuning | changeset | files |
Fri, 31 May 2013 12:28:39 +0200 | blanchet | renamed util function | changeset | files |
Fri, 31 May 2013 12:00:18 +0200 | wenzelm | tuned; | changeset | files |
Fri, 31 May 2013 11:56:48 +0200 | wenzelm | make SML/NJ partially happy; | changeset | files |
Fri, 31 May 2013 09:30:32 +0200 | haftmann | reflection without evaluation | changeset | files |