| Tue, 01 Aug 2000 15:28:21 +0200 | paulson | natify, a coercion to reduce the number of type constraints in arithmetic | changeset | files |
| Tue, 01 Aug 2000 13:43:22 +0200 | wenzelm | tuned msg; | changeset | files |
| Tue, 01 Aug 2000 13:41:23 +0200 | wenzelm | * blast(_tac) now handles actual object-logic rules as assumptions; | changeset | files |
| Tue, 01 Aug 2000 11:58:27 +0200 | wenzelm | added all_eq, imp_eq (for blast); | changeset | files |
| Tue, 01 Aug 2000 11:58:14 +0200 | wenzelm | improved comments; | changeset | files |
| Tue, 01 Aug 2000 11:57:09 +0200 | wenzelm | handle actual object-logic rules by atomizing the goal; | changeset | files |
| Tue, 01 Aug 2000 11:55:27 +0200 | wenzelm | added atomize_goal / atomize_tac; | changeset | files |
| Tue, 01 Aug 2000 00:20:12 +0200 | wenzelm | (un)fold: CHANGED; | changeset | files |