Tue, 17 Nov 2009 14:51:32 +0100 | wenzelm | implicit name space grouping for theory/local_theory transactions; | changeset | files |
Tue, 17 Nov 2009 14:50:55 +0100 | wenzelm | uniform new_group/reset_group; | changeset | files |
Tue, 17 Nov 2009 14:48:21 +0100 | wenzelm | eliminated dead code; | changeset | files |
Mon, 16 Nov 2009 21:57:16 +0100 | wenzelm | generalized procs for rewrite_proof: allow skeleton; | changeset | files |
Mon, 16 Nov 2009 21:56:32 +0100 | wenzelm | member/cons: slightly more correct treatment of multi-index, notably empty one; | changeset | files |
Mon, 16 Nov 2009 20:23:02 +0100 | wenzelm | merged | changeset | files |