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

Diff of /metaprl/library/library.ml

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

revision 2921 by nogin, Fri Oct 22 01:07:59 1999 UTC revision 2922 by lolorigo, Thu Mar 16 19:52:02 2000 UTC
# Line 35  Line 35 
35  open Refiner.Refiner.TermType  open Refiner.Refiner.TermType
36  open Refiner.Refiner.TermSubst  open Refiner.Refiner.TermSubst
37  open Basic  open Basic
38  (*open Tent *)  open Nuprl5
39  open Orb  open Orb
40  open Definition  open Definition
41    

Legend:
Removed from v.2921  
changed lines
  Added in v.2922

  ViewVC Help
Powered by ViewVC 1.1.26