| Tue, 07 Aug 2007 17:01:35 +0200 | krauss | Issue a warning, when "function" encounters variables occuring in function position, | changeset | files |
| Tue, 07 Aug 2007 15:20:24 +0200 | krauss | more error handling | changeset | files |
| Tue, 07 Aug 2007 15:04:35 +0200 | wenzelm | added more instances; | changeset | files |
| Tue, 07 Aug 2007 14:49:58 +0200 | krauss | simplified internal interfaces; cong rules are now handled directly by "context_tree.ML" | changeset | files |