| Fri, 11 Jan 2002 18:07:30 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | changeset | files |
| Fri, 11 Jan 2002 14:53:30 +0100 | wenzelm | replace gen_all by forall_elim_vars_safe; | changeset | files |
| Fri, 11 Jan 2002 14:53:05 +0100 | wenzelm | improved forall_elim_vars_safe (no longer invents new indexes); | changeset | files |
| Fri, 11 Jan 2002 14:44:58 +0100 | wenzelm | lemmas (in ACe) AC; | changeset | files |
| Fri, 11 Jan 2002 14:44:24 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Jan 2002 00:35:03 +0100 | wenzelm | IsarThy.theorems_i; | changeset | files |