directory / @ 200:b5b4ee29cbe4

name size permissions
file .hgtags 199 -rw-r--r--
file FLComm.agda 4480 -rw-r--r--
file FLutil.agda 16562 -rw-r--r--
file Gutil.agda 6064 -rw-r--r--
file Putil.agda 36954 -rw-r--r--
file README.md 869 -rw-r--r--
file Solvable.agda 4768 -rw-r--r--
file Symmetric.agda 4036 -rw-r--r--
file fin.agda 4701 -rw-r--r--
file logic.agda 4604 -rw-r--r--
file nat.agda 12699 -rw-r--r--
file sym2.agda 4889 -rw-r--r--
file sym2n.agda 1473 -rw-r--r--
file sym3.agda 13025 -rw-r--r--
file sym3n.agda 1493 -rw-r--r--
file sym4.agda 2091 -rw-r--r--
file sym5.agda 14781 -rw-r--r--
file sym5n.agda 1117 -rw-r--r--