| Sat, 12 Jan 2002 22:24:09 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Jan 2002 22:17:08 +0100 | wenzelm | produce predicate text; | changeset | files |
| Sat, 12 Jan 2002 22:15:48 +0100 | wenzelm | added atomize_cterm; | changeset | files |
| Sat, 12 Jan 2002 16:55:53 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Jan 2002 16:40:02 +0100 | wenzelm | unify_frozen: proper use of maxidx'; | changeset | files |
| Sat, 12 Jan 2002 16:38:42 +0100 | wenzelm | paramify_dummies: proper treatment of maxidx; | changeset | files |
| Sat, 12 Jan 2002 16:37:58 +0100 | wenzelm | renamed forall_elim_vars_safe to gen_all; | changeset | files |
| Fri, 11 Jan 2002 18:49:25 +0100 | wenzelm | Isabelle2002 (January 2002); | changeset | files |
| Fri, 11 Jan 2002 18:07:45 +0100 | wenzelm | removed obsolete isamode.ML; | changeset | files |
| 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 |