(* buildNJint *)

open Make;
loadFrom "ML_CONSULT_INT";
make "K";
if exportML "emlkit" then print "The EML Kit, Version 1.1\nCopyright (C) 1993 Edinburgh and Copenhagen Universities: for The ML Kit\nCopyright (C) 1996, 1997, 1998 MJ, MK, SL, AS: for The EML Kit extension\nCopyright (C) 1999 AB: for The EML Kit Proof Obligations Generator extension\n" else print"";

