Mon, 12 Jan 1998 13:48:40 +0100 | wenzelm | tuned; | changeset | files |
Mon, 12 Jan 1998 13:32:47 +0100 | wenzelm | fixed author; | changeset | files |
Sat, 10 Jan 1998 17:59:32 +0100 | paulson | Simplified proofs by omitting PA = {|XA, ...|} from RA2 | changeset | files |