directory / @ 19:55a0d814fce7 default tip

name size permissions
file .hgtags 49 -rw-r--r--
file Logic.agda 2405 -rw-r--r--
file clausal.agda 4983 -rw-r--r--
file example1.agda 1403 -rw-r--r--
file example2.agda 2756 -rw-r--r--
file simple-logic.agda 1978 -rw-r--r--