| Tue, 27 Aug 2002 11:03:02 +0200 | wenzelm | avoid duplicate fact bindings; | changeset | files |
| Tue, 27 Aug 2002 10:59:21 +0200 | wenzelm | * Isar: preview of problems to finish 'show' now produce an error | changeset | files |
| Sat, 24 Aug 2002 18:53:43 +0200 | paulson | conversion of ZF/IntDiv to Isar script | changeset | files |
| Sat, 24 Aug 2002 18:45:21 +0200 | paulson | conversion of ZF/IntDiv to Isar script | changeset | files |
| Fri, 23 Aug 2002 17:10:47 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 23 Aug 2002 11:08:01 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 23 Aug 2002 07:41:05 +0200 | nipkow | Added div+mod cancelling simproc | changeset | files |