/[mojave]/metaprl/library/nuprl5.ml
ViewVC logotype

Diff of /metaprl/library/nuprl5.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2184 by jyh, Wed May 27 15:15:13 1998 UTC revision 2190 by jyh, Thu May 28 13:48:44 1998 UTC
# Line 1  Line 1 
1    open Printf
2    open Debug
3    
4  open Refiner.Refiner.Term  open Refiner.Refiner.Term
5  open Opname  open Opname
6  open Num  open Num
7    
8    let _ =
9       if !debug_load then
10          eprintf "Loading Nuprl5%t" eflush
11    
12  let nuprl5_opname = mk_opname "!nuprl5_implementation!" nil_opname  let nuprl5_opname = mk_opname "!nuprl5_implementation!" nil_opname
13    
14  (* parameter mapping *)  (* parameter mapping *)

Legend:
Removed from v.2184  
changed lines
  Added in v.2190

  ViewVC Help
Powered by ViewVC 1.1.26