Mercurial Mercurial > hg > nominal2 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/ROOT.ML
changeset 3046 9b0324e1293b
parent 3045 d0ad264f8c4f
child 3075 31d51ce547b7
equal deleted inserted replaced
3045:d0ad264f8c4f 3046:9b0324e1293b 
     3 no_document use_thys
 
     3 no_document use_thys
 
     4    ["Atoms",
 
     4    ["Atoms",
 
     5     "Eqvt",
 
     5     "Eqvt",
 
     6     "Ex/Weakening",
 
     6     "Ex/Weakening",
 
     7     "Ex/Classical",
 
     7     "Ex/Classical",
 
     8     (*"Ex/Datatypes",*)
 
     8     "Ex/Datatypes",
 
     9     "Ex/Ex1",
 
     9     "Ex/Ex1",
 
    10     "Ex/ExPS3",
 
    10     "Ex/ExPS3",
 
    11     "Ex/Multi_Recs",
 
    11     "Ex/Multi_Recs",
 
    12     "Ex/Multi_Recs2",
 
    12     "Ex/Multi_Recs2",
 
    13     "Ex/LF",
 
    13     "Ex/LF",
 
    20     "Ex/Modules",
 
    20     "Ex/Modules",
 
    21     "Ex/SingleLet",
 
    21     "Ex/SingleLet",
 
    22     "Ex/Shallow",
 
    22     "Ex/Shallow",
 
    23     "Ex/SystemFOmega",
 
    23     "Ex/SystemFOmega",
 
    24     "Ex/TypeSchemes",
 
    24     "Ex/TypeSchemes",
 
    25     (*"Ex/TypeVarsTest",*)
 
    25     "Ex/TypeVarsTest",
 
    26     "Ex/Foo1",
 
    26     "Ex/Foo1",
 
    27     "Ex/Foo2",
 
    27     "Ex/Foo2",
 
    28     "Ex/CoreHaskell",
 
    28     "Ex/CoreHaskell",
 
    29     "Ex/CoreHaskell2" 
    29     "Ex/CoreHaskell2" 
    30    ];
 
    30    ];
nominal2