| Wed, 07 Aug 2002 16:46:15 +0200 | berghofe | Module for defining realizers for induction and case analysis theorems | changeset | files |
| Wed, 07 Aug 2002 16:44:47 +0200 | berghofe | Added calls to add_dt_realizers. | changeset | files |
| Wed, 07 Aug 2002 16:43:41 +0200 | berghofe | Exported function make_tnames. | changeset | files |
| Wed, 07 Aug 2002 05:54:44 +0200 | nipkow | Fixed two bugs | changeset | files |
| Tue, 06 Aug 2002 11:24:27 +0200 | wenzelm | * Provers: Simplifier.simproc(_i) now provide sane interface for | changeset | files |
| Tue, 06 Aug 2002 11:22:05 +0200 | wenzelm | sane interface for simprocs; | changeset | files |
| Tue, 06 Aug 2002 11:20:47 +0200 | wenzelm | fixed intern_skolem: disallow internal names (why didn't anybody notice?!?); | changeset | files |
| Tue, 06 Aug 2002 11:19:52 +0200 | wenzelm | predefined locales "var" and "struct" (useful for sharing parameters); | changeset | files |