Fri, 03 Nov 2000 21:28:15 +0100 | wenzelm | fixed two obscurities of "fix": predeclare_terms; | changeset | files |
Fri, 03 Nov 2000 21:27:36 +0100 | wenzelm | tuned names; | changeset | files |
Fri, 03 Nov 2000 21:27:06 +0100 | wenzelm | improved handling of "that": insert into goal, only declare as Pure "intro"; | changeset | files |
Fri, 03 Nov 2000 21:26:11 +0100 | wenzelm | assumption / finish: handle non-atomic assumptions from context as well; | changeset | files |
Fri, 03 Nov 2000 21:25:30 +0100 | wenzelm | added atomic_judgment; | changeset | files |
Fri, 03 Nov 2000 21:25:10 +0100 | wenzelm | structure Obtain = Obtain; | changeset | files |