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 |
Mon, 28 Aug 2000 17:02:19 +0200 | nipkow | Removed map_compose from simpset. | changeset | files |
Mon, 28 Aug 2000 16:53:35 +0200 | kleing | fixed Id string | changeset | files |