| Thu, 07 Apr 2005 10:22:55 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 07 Apr 2005 09:51:17 +0200 | wenzelm | reverted renaming of Some/None in comments and strings; | changeset | files |
| Thu, 07 Apr 2005 09:28:16 +0200 | wenzelm | added term_8; | changeset | files |
| Thu, 07 Apr 2005 09:28:03 +0200 | wenzelm | added get_axiom_i, invoke_oracle_i; | changeset | files |
| Thu, 07 Apr 2005 09:27:50 +0200 | wenzelm | Drule.add_used; | changeset | files |
| Thu, 07 Apr 2005 09:27:33 +0200 | wenzelm | invalidated former constructors None/OPTION to prevent accidental use as match-all patterns! | changeset | files |
| Thu, 07 Apr 2005 09:27:20 +0200 | wenzelm | added add_used; include tpairs; | changeset | files |