Mon, 17 May 1999 10:38:47 +0200 | paulson | new thm extend_JN; renamed extend_leadsto | changeset | files |
Mon, 17 May 1999 10:38:08 +0200 | paulson | "component" now an infix | changeset | files |
Mon, 17 May 1999 10:37:07 +0200 | paulson | indentation | changeset | files |