Mon, 16 Jun 2008 17:54:47 +0200 | wenzelm | removed obsolete inst; | changeset | files |
Mon, 16 Jun 2008 17:54:46 +0200 | wenzelm | atomize: proper context; | changeset | files |
Mon, 16 Jun 2008 17:54:45 +0200 | wenzelm | atomize: proper context; | changeset | files |
Mon, 16 Jun 2008 17:54:43 +0200 | wenzelm | RuleInsts.read_instantiate; | changeset | files |