Thu, 03 Aug 2006 15:03:08 +0200 | wenzelm | tuned; | changeset | files |
Thu, 03 Aug 2006 15:03:07 +0200 | wenzelm | removed True_implies (cf. True_implies_equals); | changeset | files |
Thu, 03 Aug 2006 15:03:05 +0200 | wenzelm | Generic reflection and reification (by Amine Chaieb). | changeset | files |