| Thu, 15 Mar 2012 17:38:05 +0000 | paulson | beautification and structured proofs | changeset | files |
| Thu, 15 Mar 2012 16:35:02 +0000 | paulson | replacing ":" by "\<in>" | changeset | files |
| Thu, 15 Mar 2012 15:54:22 +0000 | paulson | Rewrote some induction proofs to be structured | changeset | files |
| Thu, 15 Mar 2012 22:20:07 +0100 | wenzelm | more precise TPTP keywords and dependencies; | changeset | files |
| Thu, 15 Mar 2012 22:08:53 +0100 | wenzelm | declare command keywords via theory header, including strict checking outside Pure; | changeset | files |
| Thu, 15 Mar 2012 20:07:00 +0100 | wenzelm | prefer formally checked @{keyword} parser; | changeset | files |