| Thu, 24 Nov 2011 21:01:06 +0100 | wenzelm | modernized some old-style infix operations, which were left over from the time of ML proof scripts; | changeset | files |
| Thu, 24 Nov 2011 20:45:34 +0100 | wenzelm | simplified -- empty_ss already contains minimal mksimps; | changeset | files |
| Thu, 24 Nov 2011 19:58:37 +0100 | nipkow | Abstract interpretation is now based uniformly on annotated programs, | changeset | files |
| Wed, 23 Nov 2011 23:31:32 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Nov 2011 23:07:59 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Nov 2011 22:59:39 +0100 | wenzelm | modernized some old-style infix operations, which were left over from the time of ML proof scripts; | changeset | files |