| Sat, 19 Nov 2005 14:21:01 +0100 | wenzelm | tuned induct syntax; | changeset | files |
| Sat, 19 Nov 2005 14:21:00 +0100 | wenzelm | FOL: -p 2; | changeset | files |
| Fri, 18 Nov 2005 07:13:58 +0100 | chaieb | presburger method updated to deal better with mod and div, tweo lemmas added to Divides.thy | changeset | files |
| Fri, 18 Nov 2005 07:10:37 +0100 | mengj | -- changed the interface of functions vampire_oracle and eprover_oracle. | changeset | files |