Mercurial > hg > Members > kono > Proof > FirstOrder
directory / @ 17:76e933149151
| name | size | permissions |
|---|---|---|
 .hgtags
|
49 | -rw-r--r-- |
|
Logic.agda
|
2398 | -rw-r--r-- |
|
clausal.agda
|
4454 | -rw-r--r-- |
|
example1.agda
|
1411 | -rw-r--r-- |
|
example2.agda
|
2700 | -rw-r--r-- |
|
simple-logic.agda
|
2015 | -rw-r--r-- |