| Thu, 24 Apr 1997 18:03:23 +0200 | nipkow | get_thydata accesses the second component of the data field. This component | changeset | files |
| Thu, 24 Apr 1997 18:00:22 +0200 | mueller | Main changes are: | changeset | files |
| 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 |
| Thu, 24 Apr 1997 17:38:33 +0200 | mueller | only in comments | changeset | files |
| Thu, 24 Apr 1997 17:35:47 +0200 | mueller | minor changes due to more powerful continuity check in Lift3.ML | changeset | files |