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 |
Tue, 06 Aug 2002 11:19:00 +0200 | wenzelm | * Pure: predefined locales "var" and "struct" are useful for sharing | changeset | files |