| 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 |