| Mon, 28 Aug 2000 20:32:38 +0200 | wenzelm | removed METHOD0; | changeset | files |
| Mon, 28 Aug 2000 20:31:00 +0200 | wenzelm | Method.SIMPLE_METHOD'; | changeset | files |
| Mon, 28 Aug 2000 20:30:47 +0200 | wenzelm | 'induct_tac' / 'case_tac': Method.goal_args'; | changeset | files |
| Mon, 28 Aug 2000 20:29:56 +0200 | wenzelm | added 'split' method; | changeset | files |
| Mon, 28 Aug 2000 20:29:19 +0200 | wenzelm | \newenvironment{isabellebody}: version without trivlist; | changeset | files |
| Mon, 28 Aug 2000 20:28:44 +0200 | wenzelm | * \isabellestyle{it} produces near math mode output; | changeset | files |