| Thu, 29 Jun 2000 22:38:30 +0200 | wenzelm | adapted args of IsarThy.have_theorems_i; | changeset | files |
| Thu, 29 Jun 2000 22:37:24 +0200 | wenzelm | syntax: renamed 'thmname' to 'thmbind'; | changeset | files |
| Thu, 29 Jun 2000 22:36:45 +0200 | wenzelm | facts: support multiple lists of arguments; | changeset | files |
| Thu, 29 Jun 2000 22:35:45 +0200 | wenzelm | * formal comments (text blocks etc.) in new-style theories may now | changeset | files |
| Thu, 29 Jun 2000 22:32:45 +0200 | wenzelm | added method_setup; | changeset | files |
| Thu, 29 Jun 2000 22:32:08 +0200 | wenzelm | facts: handle multiple lists of arguments; | changeset | files |
| Thu, 29 Jun 2000 22:31:53 +0200 | wenzelm | fixed is_semicolon (keyword instead of command!); | changeset | files |
| Thu, 29 Jun 2000 22:31:29 +0200 | wenzelm | added add_method; | changeset | files |