Mon, 02 May 2011 20:14:19 +0200 | wenzelm | 'axiomatization' is global; | changeset | files |
Mon, 02 May 2011 19:55:24 +0200 | wenzelm | discontinued old version of old HOL manual; | changeset | files |
Mon, 02 May 2011 17:43:42 +0200 | wenzelm | merged | changeset | files |