| Tue, 13 Mar 2012 12:04:07 +0000 | paulson | More structured proofs about cardinal arithmetic | changeset | files |
| Tue, 13 Mar 2012 14:44:16 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 13 Mar 2012 14:17:42 +0100 | wenzelm | refined 'interpret': reset facts ("this") and print_result, which merely consist of internal / protected statement; | changeset | files |
| Tue, 13 Mar 2012 13:31:26 +0100 | wenzelm | tuned proofs -- eliminated pointless chaining of facts after 'interpret'; | changeset | files |
| Tue, 13 Mar 2012 12:51:52 +0100 | wenzelm | proper printing of empty binding (again, cf. 93f6f24010c2); | changeset | files |
| Tue, 13 Mar 2012 11:23:39 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 13 Mar 2012 11:22:39 +0100 | wenzelm | tuned strip_alls; | changeset | files |