src/Pure/basis.ML
1998-11-09 wenzelm 1998-11-09 exnMessage Interrupt;
1998-10-13 wenzelm 1998-10-13 added Int.int;
1998-07-28 wenzelm 1998-07-28 added Real structure (taken from SML/NJ basis lib);
1998-06-10 wenzelm 1998-06-10 added exnMessage;
1997-05-20 paulson 1997-05-20 Basis library version of type "option" now resides in its own structure Option
1997-04-24 wenzelm 1997-04-24 open General (type option is in Option in the newer versions, but always the top-level);
1997-04-03 paulson 1997-04-03 More List and ListPair utilities
1997-04-02 paulson 1997-04-02 Now declares Basis Library version of type option Also function mapPartial
1997-01-03 paulson 1997-01-03 A definition of "print", unfortunately overridden by each "open PolyML"
1996-12-16 wenzelm 1996-12-16 fixed comments;
1996-11-28 paulson 1996-11-28 Addition of structures List and ListPair
1996-11-26 paulson 1996-11-26 Structure Bool and value Int.toString needed to replace makestring calls
1996-11-22 paulson 1996-11-22 Basis library emulation for old ML compilers