| Tue, 13 Mar 2012 22:49:02 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 13 Mar 2012 21:17:37 +0100 | wenzelm | clarified command state -- markup within proper_range, excluding trailing whitespace; | changeset | files |
| Tue, 13 Mar 2012 20:04:24 +0100 | wenzelm | more explicit indication of def names; | changeset | files |
| Tue, 13 Mar 2012 17:17:52 +0000 | paulson | merged | changeset | files |
| Tue, 13 Mar 2012 17:11:49 +0000 | paulson | Structured proofs concerning the square of an infinite cardinal | changeset | files |
| Tue, 13 Mar 2012 17:04:00 +0100 | wenzelm | suppress vacous notes elements, with subtle change of semantics: 'interpret' no longer pulls-in unnamed facts "by fact"; | changeset | files |
| Tue, 13 Mar 2012 16:56:56 +0100 | wenzelm | prefer abs_def over def_raw; | changeset | files |
| Tue, 13 Mar 2012 16:40:06 +0100 | wenzelm | prefer abs_def over def_raw; | changeset | files |