Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
arrow.ott | 2008-02-15 17:16 | 1.1K | ||
arrow_typing.ott | 2008-02-15 17:16 | 1.8K | ||
ascribe.ott | 2008-02-15 17:16 | 472 | ||
basety.ott | 2008-02-15 17:16 | 293 | ||
bool.ott | 2008-02-15 17:16 | 919 | ||
bool_typing.ott | 2008-02-15 17:16 | 484 | ||
bot.ott | 2008-02-15 17:16 | 267 | ||
common.ott | 2008-02-15 17:16 | 1.3K | ||
common_index.ott | 2008-02-15 17:16 | 1.4K | ||
common_labels.ott | 2008-02-15 17:16 | 1.0K | ||
common_typing.ott | 2008-02-15 17:16 | 1.4K | ||
fix.ott | 2008-02-15 17:16 | 627 | ||
inert.ott | 2008-02-15 17:16 | 373 | ||
let.ott | 2008-02-15 17:16 | 577 | ||
let_alltt.ott | 2008-02-15 17:16 | 971 | ||
metatheoryScript.sml | 2008-02-15 17:16 | 10K | ||
nat.ott | 2008-02-15 17:16 | 1.5K | ||
nat_typing.ott | 2008-02-15 17:16 | 477 | ||
product.ott | 2008-02-15 17:16 | 1.7K | ||
record.ott | 2008-02-15 17:16 | 1.5K | ||
record_with_explicit_types.ott | 2008-02-15 17:16 | 1.9K | ||
records_auto.v | 2008-02-15 17:16 | 26K | ||
seq.ott | 2008-02-15 17:16 | 469 | ||
stlc.ps | 2008-02-15 17:16 | 135K | ||
stlc.thy | 2008-02-15 17:16 | 14K | ||
stlcScript.sml | 2008-02-15 17:16 | 17K | ||
stlc_metatheory.thy | 2008-02-15 17:16 | 31K | ||
sub_arrow.ott | 2008-02-15 17:16 | 305 | ||
sub_record.ott | 2008-02-15 17:16 | 566 | ||
sum.ott | 2008-02-15 17:16 | 1.9K | ||
top.ott | 2008-02-15 17:16 | 267 | ||
tuple.ott | 2008-02-15 17:16 | 1.5K | ||
tuples.ott | 2008-02-15 17:16 | 1 | ||
unit.ott | 2008-02-15 17:16 | 692 | ||
variant.ott | 2008-02-15 17:16 | 2.1K | ||