Sat, 10 Jan 1998 17:59:32 +0100 | paulson | Simplified proofs by omitting PA = {|XA, ...|} from RA2 | changeset | files |
Sat, 10 Jan 1998 17:58:42 +0100 | paulson | trivial tidy | changeset | files |
Fri, 09 Jan 1998 20:28:18 +0100 | wenzelm | tuned; | changeset | files |