![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | DefinitionalEquality..> | 2009-06-08 09:56 | 3.5K | |
![]() | Dummy.agda | 2009-06-08 09:56 | 20 | |
![]() | Examples.agda | 2009-06-08 09:56 | 917 | |
![]() | IID-New-Proof-Setup...> | 2009-06-08 09:56 | 732 | |
![]() | IID-Proof-Setup.agda | 2009-06-08 09:56 | 5.5K | |
![]() | IID-Proof-Test.agda | 2009-06-08 09:56 | 2.3K | |
![]() | IID-Proof.agda | 2009-06-08 09:56 | 5.3K | |
![]() | IID.agda | 2009-06-08 09:56 | 3.2K | |
![]() | IIDg.agda | 2009-06-08 09:56 | 1.9K | |
![]() | IIDr.agda | 2009-06-08 09:56 | 941 | |
![]() | IIRD.agda | 2009-06-08 09:56 | 5.5K | |
![]() | IIRDg.agda | 2009-06-08 09:56 | 4.3K | |
![]() | IIRDr.agda | 2009-06-08 09:56 | 803 | |
![]() | Identity.agda | 2009-06-08 09:56 | 1.5K | |
![]() | LF.agda | 2009-06-08 09:56 | 1.0K | |
![]() | Logic/ | 2009-06-08 09:56 | - | |
![]() | Main.agda | 2009-06-08 09:56 | 34 | |
![]() | Proof.agda | 2009-06-08 09:56 | 6.0K | |
![]() | Proof/ | 2009-06-08 09:56 | - | |
![]() | Test.agda | 2009-06-08 09:56 | 927 | |
![]() | new/ | 2009-06-08 09:56 | - | |