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