| Wed, 11 Jul 2007 11:03:11 +0200 | berghofe | Inserted definition of in_rel again (since member2 was removed). | changeset | files |
| Wed, 11 Jul 2007 11:02:07 +0200 | berghofe | Added ML bindings for sup_fun_eq and sup_bool_eq. | changeset | files |
| Wed, 11 Jul 2007 11:01:24 +0200 | berghofe | top and bot are now constants. | changeset | files |
| Wed, 11 Jul 2007 11:00:46 +0200 | berghofe | Renamed inductive2 to inductive. | changeset | files |