| 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 |
| Tue, 13 Mar 2012 16:22:18 +0100 | wenzelm | improved attribute "abs_def" to handle object-equality as well; | changeset | files |
| Tue, 13 Mar 2012 14:44:27 +0100 | wenzelm | merged | changeset | files |
| Tue, 13 Mar 2012 12:04:07 +0000 | paulson | More structured proofs about cardinal arithmetic | changeset | files |