| Sun, 30 Apr 2006 22:50:06 +0200 | wenzelm | added serial_string; | changeset | files |
| Sun, 30 Apr 2006 22:50:05 +0200 | wenzelm | renamed add_axclass(_i) to define_axclass(_i); | changeset | files |
| Sun, 30 Apr 2006 22:50:03 +0200 | wenzelm | AxClass.axiomatize_arity_i; | changeset | files |
| Sun, 30 Apr 2006 22:50:01 +0200 | wenzelm | AxClass.define_class_i; | changeset | files |
| Sun, 30 Apr 2006 22:49:59 +0200 | wenzelm | * Pure: axclasses now purely definitional; | changeset | files |
| Sat, 29 Apr 2006 23:16:49 +0200 | wenzelm | reduced code duplication; | changeset | files |
| Sat, 29 Apr 2006 23:16:48 +0200 | wenzelm | added insert_list; | changeset | files |
| Sat, 29 Apr 2006 23:16:47 +0200 | wenzelm | added unconstrainT; | changeset | files |
| Sat, 29 Apr 2006 23:16:46 +0200 | wenzelm | added unconstrainTs; | changeset | files |
| Sat, 29 Apr 2006 23:16:45 +0200 | wenzelm | instances data: mutable cache; | changeset | files |
| Sat, 29 Apr 2006 23:16:43 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Apr 2006 17:59:06 +0200 | berghofe | Capitalized theory names. | changeset | files |