| Fri, 21 Feb 1997 15:31:47 +0100 | paulson | Replaced "flat" by the Basis Library function List.concat | file | diff | annotate |
| Thu, 26 Sep 1996 17:34:36 +0200 | paulson | Added catch-all clause to drop, preventing exception Match | file | diff | annotate |
| Thu, 21 Mar 1996 13:02:26 +0100 | paulson | Changes required by removal of the theory argument of Theorem | file | diff | annotate |
| Wed, 20 Mar 1996 18:42:31 +0100 | paulson | New module for proof objects (deriviations) | file | diff | annotate |