src/Pure/NJ.ML

New unified treatment of sequent calculi by Sara Kalvala
combines the old LK and Modal with the new ILL (Int. Linear Logic)

(*  Title:      Pure/NJ
    ID:         $Id$
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    Copyright   1993  University of Cambridge

Compatibility file for Standard ML of New Jersey.
*)


(*Determine if we are running under 0.93 or a newer version of SML/NJ
  This is based on the variable "version" defined in 0.93's System structure
  which is no longer present in 1.09.*)

local val version = ""; open System in
  val smlversion = if version <> "" then 93 else 109
end;

use (if smlversion = 93 then "NJ093.ML" else "NJ1xx.ML");


(** Other functions which are not specific to 0.93 or 1.xx*)

(*redefine to flush its output immediately -- temporary patch suggested
  by Kim Dam Petersen*)
val output = fn(s, t) => (output(s, t); flush_out s);

(*Dummy version of the Poly/ML function*)
fun commit() = ();