| Sun, 01 Apr 2012 19:04:52 +0200 | wenzelm | simplified; | changeset | files |
| Sun, 01 Apr 2012 18:01:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 01 Apr 2012 15:23:43 +0200 | wenzelm | clarified Named_Target.target_declaration: propagate through other levels as well; | changeset | files |
| Sun, 01 Apr 2012 14:29:22 +0200 | wenzelm | Local_Theory.map_contexts with explicit level indication: 0 = main target at bottom; | changeset | files |
| Sun, 01 Apr 2012 09:12:03 +0200 | huffman | tuned proofs | changeset | files |
| Sat, 31 Mar 2012 22:45:46 +0200 | huffman | merged | changeset | files |
| Sat, 31 Mar 2012 20:09:24 +0200 | huffman | tuned proof | changeset | files |