Wed, 22 Feb 2006 22:18:38 +0100 | wenzelm | removed rename_indexes_wrt; | changeset | files |
Wed, 22 Feb 2006 22:18:36 +0100 | wenzelm | renamed class_axms to class_intros; | changeset | files |
Wed, 22 Feb 2006 22:18:33 +0100 | wenzelm | tuned proofs; | changeset | files |
Wed, 22 Feb 2006 22:18:32 +0100 | wenzelm | simplified Pure conjunction; | changeset | files |
Wed, 22 Feb 2006 22:18:31 +0100 | wenzelm | not_equal: replaced syntax translation by abbreviation; | changeset | files |
Wed, 22 Feb 2006 10:18:17 +0100 | haftmann | abandoned merge_alists' in favour of generic AList.merge | changeset | files |