Mercurial > hg > Members > kono > Proof > FirstOrder
directory / @ 19:55a0d814fce7 default tip
| name | size | permissions |
|---|---|---|
 .hgtags
|
49 | -rw-r--r-- |
|
Logic.agda
|
2405 | -rw-r--r-- |
|
clausal.agda
|
4983 | -rw-r--r-- |
|
example1.agda
|
1403 | -rw-r--r-- |
|
example2.agda
|
2756 | -rw-r--r-- |
|
simple-logic.agda
|
1978 | -rw-r--r-- |