| Thu, 24 Apr 1997 17:59:55 +0200 | nipkow | rename_params_rule used to check if the new name clashed with a free name in | changeset | files |
| Thu, 24 Apr 1997 17:51:27 +0200 | mueller | deleted definitions for blift and plift | changeset | files |
| Thu, 24 Apr 1997 17:50:34 +0200 | mueller | Complete Redesign of Theory, main points are: | changeset | files |
| Thu, 24 Apr 1997 17:40:30 +0200 | mueller | added liftpair definition | changeset | files |