Mercurial > hg > Members > kono > Proof > FirstOrder
directory / @ 18:6cd5b63ecc38
| name | size | permissions |
|---|---|---|
 .hgtags
|
49 | -rw-r--r-- |
|
Logic.agda
|
2354 | -rw-r--r-- |
|
clausal.agda
|
4983 | -rw-r--r-- |
|
example1.agda
|
1403 | -rw-r--r-- |
|
example2.agda
|
2756 | -rw-r--r-- |
|
simple-logic.agda
|
1926 | -rw-r--r-- |