src/Pure/basis.ML
Tue, 20 May 1997 11:47:33 +0200 paulson Basis library version of type "option" now resides in its own structure Option
Thu, 24 Apr 1997 19:46:05 +0200 wenzelm open General (type option is in Option in the newer versions, but always
Thu, 03 Apr 1997 10:33:33 +0200 paulson More List and ListPair utilities
Wed, 02 Apr 1997 11:32:48 +0200 paulson Now declares Basis Library version of type option
Fri, 03 Jan 1997 15:25:51 +0100 paulson A definition of "print", unfortunately overridden by each "open PolyML"
Mon, 16 Dec 1996 10:01:17 +0100 wenzelm fixed comments;
Thu, 28 Nov 1996 10:42:19 +0100 paulson Addition of structures List and ListPair
Tue, 26 Nov 1996 16:29:30 +0100 paulson Structure Bool and value Int.toString needed to replace makestring calls
Fri, 22 Nov 1996 17:38:27 +0100 paulson Basis library emulation for old ML compilers
less more (0) tip