Thu, 04 Apr 1996 11:45:01 +0200 | paulson | Using new "Times" infix | changeset | files |
Thu, 04 Apr 1996 11:43:25 +0200 | paulson | For renaming to rtrancl_Un_rtrancl | changeset | files |
Thu, 04 Apr 1996 11:41:35 +0200 | paulson | Added more _iff rewrites for Compl, Un, Int | changeset | files |