| Fri, 01 Dec 2006 12:23:39 +0100 | paulson | Fixed a MAJOR BUG in clause-counting: only Boolean equalities now count as iffs | changeset | files |
| Thu, 30 Nov 2006 17:42:23 +0100 | wenzelm | notes: proper naming of thm proof, activated import_export_proof; | changeset | files |
| Thu, 30 Nov 2006 17:42:21 +0100 | wenzelm | added full_name; | changeset | files |
| Thu, 30 Nov 2006 16:48:42 +0100 | wenzelm | notes: more careful treatment of Goal.close_result; | changeset | files |
| Thu, 30 Nov 2006 16:48:41 +0100 | wenzelm | note_thmss: refrain from closing the derivation here; | changeset | files |
| Thu, 30 Nov 2006 14:17:37 +0100 | wenzelm | notes: proper import/export of proofs (still inactive); | changeset | files |
| Thu, 30 Nov 2006 14:17:36 +0100 | wenzelm | removed obsolete (export_)standard; | changeset | files |