Wed, 18 Feb 2009 19:18:33 +0100 | haftmann | fixed signature | changeset | files |
Wed, 18 Feb 2009 19:18:32 +0100 | haftmann | tuned accessor name | changeset | files |
Wed, 18 Feb 2009 19:18:32 +0100 | haftmann | more precise improvement in instantiation user space type system | changeset | files |
Wed, 18 Feb 2009 19:18:31 +0100 | haftmann | do not drop arguments to 0, 1 | changeset | files |
Wed, 18 Feb 2009 13:39:16 +0100 | haftmann | merged | changeset | files |
Wed, 18 Feb 2009 13:39:05 +0100 | haftmann | reverted to previous version of Finite_Set.thy | changeset | files |
Wed, 18 Feb 2009 11:31:05 +0100 | haftmann | merged | changeset | files |