Mercurial > hg > Members > kono > Proof > FirstOrder
directory / @ 15:2f4db56bb289 current
| name | size | permissions |
|---|---|---|
 Logic.agda
|
2398 | -rw-r--r-- |
|
clausal.agda
|
4455 | -rw-r--r-- |
|
example1.agda
|
1411 | -rw-r--r-- |
|
example2.agda
|
2715 | -rw-r--r-- |
|
simple-logic.agda
|
2015 | -rw-r--r-- |