| Sun, 11 Mar 2007 15:02:44 +0100 | haftmann | clarified code | changeset | files |
| Sat, 10 Mar 2007 16:31:55 +0100 | berghofe | - Replaced fold by fold_rev to make sure that list of predicate | changeset | files |
| Sat, 10 Mar 2007 16:28:06 +0100 | berghofe | - Changed format of descriptor contained in nominal_datatype_info | changeset | files |
| Sat, 10 Mar 2007 16:25:57 +0100 | berghofe | Renamed INF to INFM to avoid clash with INF operator defined in FixedPoint theory. | changeset | files |
| Sat, 10 Mar 2007 16:24:52 +0100 | berghofe | Adapted to changes in definition of SUP. | changeset | files |
| Sat, 10 Mar 2007 16:23:28 +0100 | berghofe | Generalized version of SUP and INF (with index set). | changeset | files |