Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
exp01.glob | 2010-09-12 10:01 | 265 | ||
exp01.v | 2010-09-12 10:01 | 184 | Coq proof file | |
exp01.vo | 2010-09-12 10:01 | 1.1K | Coq proof file | |
exp012.v | 2010-09-12 12:58 | 108 | Coq proof file | |
exp12.glob | 2010-09-12 10:01 | 265 | ||
exp12.v | 2010-09-12 10:01 | 184 | Coq proof file | |
exp12.vo | 2010-09-12 10:01 | 1.1K | Coq proof file | |
foundations.v | 2010-09-14 18:53 | 13K | Coq proof file | |
foundations_current...> | 2010-09-14 18:54 | 13K | ||
foundations_current.vo | 2010-09-14 18:54 | 31K | Coq proof file | |
u0.glob | 2010-09-14 10:22 | 58K | ||
u0.v | 2010-09-14 10:21 | 42K | Coq proof file | |
u0.vo | 2010-09-14 10:22 | 180K | Coq proof file | |
u01.glob | 2010-09-14 10:24 | 7.4K | ||
u01.v | 2010-09-14 10:20 | 7.0K | Coq proof file | |
u01.vo | 2010-09-14 10:24 | 17K | Coq proof file | |
u1.glob | 2010-09-14 10:22 | 58K | ||
u1.v | 2010-09-14 10:21 | 42K | Coq proof file | |
u1.vo | 2010-09-14 10:22 | 180K | Coq proof file | |
u2.glob | 2010-09-14 10:22 | 58K | ||
u2.v | 2010-09-14 10:22 | 42K | Coq proof file | |
u2.vo | 2010-09-14 10:22 | 180K | Coq proof file | |
u12.glob | 2010-09-14 10:24 | 7.4K | ||
u12.v | 2010-09-14 10:24 | 7.0K | Coq proof file | |
u12.vo | 2010-09-14 10:24 | 17K | Coq proof file | |