| Sat, 08 Jul 2006 12:54:46 +0200 | wenzelm | prove_witness: context; | changeset | files |
| Sat, 08 Jul 2006 12:54:45 +0200 | wenzelm | tuned exception handling; | changeset | files |
| Sat, 08 Jul 2006 12:54:44 +0200 | wenzelm | prove/prove_multi: context; | changeset | files |
| Sat, 08 Jul 2006 12:54:43 +0200 | wenzelm | simprocs: no theory argument -- use simpset context instead; | changeset | files |
| Sat, 08 Jul 2006 12:54:42 +0200 | wenzelm | distinct simproc/simpset: proper context; | changeset | files |
| Sat, 08 Jul 2006 12:54:41 +0200 | wenzelm | presburger_ss: proper context; | changeset | files |
| Sat, 08 Jul 2006 12:54:40 +0200 | wenzelm | presburger_ss: proper context; | changeset | files |