| Tue, 17 Mar 2009 19:06:04 +0100 | wenzelm | close/all_assm_tac: finish all subgoals from left to right (cf. Proof.goal_tac a28d83e903ce) -- NB: ALLGOALS/THEN_ALL_NEW operate from right to left; | changeset | files |
| Tue, 17 Mar 2009 16:55:21 +0100 | wenzelm | reverted abbreviations: improved performance via Item_Net.T; | changeset | files |
| Tue, 17 Mar 2009 15:35:27 +0100 | wenzelm | export match_rew -- useful for implementing "procs" for rewrite_term; | changeset | files |
| Tue, 17 Mar 2009 15:34:42 +0100 | wenzelm | tuned comment; | changeset | files |
| Tue, 17 Mar 2009 14:14:25 +0100 | wenzelm | merged | changeset | files |
| Mon, 16 Mar 2009 15:58:41 -0700 | huffman | document new additions to HOL/Library | changeset | files |
| Mon, 16 Mar 2009 15:10:59 -0700 | huffman | clean up proofs | changeset | files |