| Mon, 16 Jun 2008 17:54:48 +0200 | wenzelm | export eof; | changeset | files |
| 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 |
| Mon, 16 Jun 2008 17:54:42 +0200 | wenzelm | ptac/prolog_tac: proper context; | changeset | files |
| Mon, 16 Jun 2008 17:54:39 +0200 | wenzelm | allE_Nil: only one copy, proven in regular theory source; | changeset | files |