Index of /~pes20/ott/examples/tapl

 Name                    Last modified       Size  Description

 Parent Directory        14-Sep-2007 16:14      -  
 arrow.ott               15-Feb-2008 17:16     1k  
 arrow_typing.ott        15-Feb-2008 17:16     2k  
 ascribe.ott             15-Feb-2008 17:16     1k  
 basety.ott              15-Feb-2008 17:16     1k  
 bool.ott                15-Feb-2008 17:16     1k  
 bool_typing.ott         15-Feb-2008 17:16     1k  
 bot.ott                 15-Feb-2008 17:16     1k  
 common.ott              15-Feb-2008 17:16     1k  
 common_index.ott        15-Feb-2008 17:16     1k  
 common_labels.ott       15-Feb-2008 17:16     1k  
 common_typing.ott       15-Feb-2008 17:16     1k  
 fix.ott                 15-Feb-2008 17:16     1k  
 inert.ott               15-Feb-2008 17:16     1k  
 let.ott                 15-Feb-2008 17:16     1k  
 let_alltt.ott           15-Feb-2008 17:16     1k  
 metatheoryScript.sml    15-Feb-2008 17:16    10k  
 nat.ott                 15-Feb-2008 17:16     1k  
 nat_typing.ott          15-Feb-2008 17:16     1k  
 product.ott             15-Feb-2008 17:16     2k  
 record.ott              15-Feb-2008 17:16     2k  
 record_with_explicit..> 15-Feb-2008 17:16     2k  
 records_auto.v          15-Feb-2008 17:16    26k  
 seq.ott                 15-Feb-2008 17:16     1k  
 stlc.ps                 15-Feb-2008 17:16   135k  
 stlc.thy                15-Feb-2008 17:16    14k  
 stlcScript.sml          15-Feb-2008 17:16    17k  
 stlc_metatheory.thy     15-Feb-2008 17:16    31k  
 sub_arrow.ott           15-Feb-2008 17:16     1k  
 sub_record.ott          15-Feb-2008 17:16     1k  
 sum.ott                 15-Feb-2008 17:16     2k  
 top.ott                 15-Feb-2008 17:16     1k  
 tuple.ott               15-Feb-2008 17:16     2k  
 tuples.ott              15-Feb-2008 17:16     1k  
 unit.ott                15-Feb-2008 17:16     1k  
 variant.ott             15-Feb-2008 17:16     2k