/[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 2190 by jyh, Thu May 28 13:48:44 1998 UTC revision 2209 by jyh, Mon Jun 1 13:57:13 1998 UTC
# Line 69  Line 69 
69  let inatural_term i = mk_number_term nuprl5_opname i  let inatural_term i = mk_number_term nuprl5_opname i
70  *)  *)
71    
72    
73    

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

  ViewVC Help
Powered by ViewVC 1.1.26