| Sat, 10 Feb 2007 09:26:06 +0100 | haftmann | updated keywords | changeset | files |
| Thu, 08 Feb 2007 18:14:13 +0100 | paulson | cterm_instantiate was calling a type instantiation function that works only for matching, | changeset | files |
| Thu, 08 Feb 2007 17:22:22 +0100 | urbanc | added get-functions | changeset | files |
| Wed, 07 Feb 2007 18:12:58 +0100 | berghofe | Renamed member to memb to avoid confusion with member function | changeset | files |
| Wed, 07 Feb 2007 18:12:02 +0100 | berghofe | Adapted to changes in Finite_Set theory. | changeset | files |
| Wed, 07 Feb 2007 18:11:27 +0100 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Wed, 07 Feb 2007 18:10:21 +0100 | berghofe | - Adapted to new inductive definition package | changeset | files |
| Wed, 07 Feb 2007 18:07:10 +0100 | berghofe | Added meta_spec to extraction_expand. | changeset | files |