Wed, 29 Jun 2005 15:13:34 +0200 | wenzelm | cond_print for end-of-proof and calculational commands; | changeset | files |
Wed, 29 Jun 2005 15:13:33 +0200 | wenzelm | added eq; | changeset | files |
Wed, 29 Jun 2005 15:13:32 +0200 | wenzelm | pass thy as explicit argument (the old ref was not safe | changeset | files |
Wed, 29 Jun 2005 15:13:31 +0200 | wenzelm | more efficient treatment of shyps and hyps (use ordered lists); | changeset | files |
Wed, 29 Jun 2005 15:13:30 +0200 | wenzelm | Syntax.read thy; | changeset | files |
Wed, 29 Jun 2005 15:13:29 +0200 | wenzelm | tuned sort_ord: pointer_eq; | changeset | files |
Wed, 29 Jun 2005 15:13:28 +0200 | wenzelm | removed obsolete eq_sort, mem_sort, subset_sort, eq_set_sort, ins_sort, union_sort, rems_sort; | changeset | files |