| 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 |
| Thu, 15 Mar 2012 19:48:19 +0100 | wenzelm | added ML antiquotation @{keyword}; | changeset | files |
| Thu, 15 Mar 2012 19:02:34 +0100 | wenzelm | declare minor keywords via theory header; | changeset | files |