| Wed, 10 Apr 2013 20:58:01 +0200 | wenzelm | updated keywords; | changeset | files |
| Wed, 10 Apr 2013 20:06:36 +0200 | wenzelm | merged | changeset | files |
| Wed, 10 Apr 2013 19:14:47 +0200 | wenzelm | merged | changeset | files |
| Wed, 10 Apr 2013 17:27:38 +0200 | wenzelm | obsolete -- tools should refer to proper Proof.context; | changeset | files |
| Wed, 10 Apr 2013 17:17:16 +0200 | wenzelm | discontinued obsolete ML antiquotation @{claset}; | changeset | files |
| Wed, 10 Apr 2013 17:02:47 +0200 | wenzelm | added ML antiquotation @{theory_context}; | changeset | files |
| Wed, 10 Apr 2013 15:30:19 +0200 | wenzelm | more standard module name Axclass (according to file name); | changeset | files |