| 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 |