| Sun, 30 Jul 2000 12:55:36 +0200 | wenzelm | export RANGE, hard_asm_tac, soft_asm_tac; | changeset | files |
| Sun, 30 Jul 2000 12:54:07 +0200 | wenzelm | turned into plain context element; | changeset | files |
| Sun, 30 Jul 2000 12:53:22 +0200 | wenzelm | local_def(_i): no constraint on var; | changeset | files |
| Sun, 30 Jul 2000 12:52:46 +0200 | wenzelm | local_def(_i): no constraint on var; | changeset | files |
| Sun, 30 Jul 2000 12:52:13 +0200 | wenzelm | def: no constraint on var; | changeset | files |
| Sun, 30 Jul 2000 12:51:33 +0200 | wenzelm | added is_judgment; | changeset | files |
| Sun, 30 Jul 2000 12:50:51 +0200 | wenzelm | ObtainFun (generalized existence reasoning); | changeset | files |
| Sun, 30 Jul 2000 12:50:33 +0200 | wenzelm | ThmDeps.enable; | changeset | files |
| Sun, 30 Jul 2000 12:50:07 +0200 | wenzelm | added sign_of_cterm; | changeset | files |
| Sun, 30 Jul 2000 12:48:55 +0200 | wenzelm | Logic.goal_const; | changeset | files |
| Fri, 28 Jul 2000 16:08:41 +0200 | wenzelm | replaced "Sessions" by "Root"; | changeset | files |
| Fri, 28 Jul 2000 16:02:51 +0200 | nipkow | apply. -> by | changeset | files |
| Fri, 28 Jul 2000 13:04:59 +0200 | nipkow | * HOL/While | changeset | files |
| Thu, 27 Jul 2000 18:27:25 +0200 | wenzelm | added theory While; | changeset | files |
| Thu, 27 Jul 2000 18:27:09 +0200 | wenzelm | export has_internal; | changeset | files |