Thu, 14 Dec 2006 15:31:22 +0100 | wenzelm | defs/notes: more robust transitivity reasoning; | changeset | files |
Thu, 14 Dec 2006 15:31:21 +0100 | wenzelm | added trans_terms/props; | changeset | files |
Thu, 14 Dec 2006 15:31:20 +0100 | wenzelm | locale: print context for begin; | changeset | files |