| 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 |
| Wed, 10 Apr 2013 19:52:19 +0200 | traytel | made SML/NJ happy | changeset | files |