Thu, 26 Jul 2012 19:41:05 +0200 | wenzelm | more build options; | changeset | files |
Thu, 26 Jul 2012 19:40:19 +0200 | wenzelm | added session HOL-Tutorial; | changeset | files |
Thu, 26 Jul 2012 19:16:04 +0200 | wenzelm | recovered chapter on Presenting Theories; | changeset | files |