directory /src/ @ 282:b70cc2534d2f

name size permissions
[up] drwxr-xr-x
file FLComm.agda 8813 -rw-r--r--
file FLutil.agda 11926 -rw-r--r--
file Fundamental.agda 9063 -rw-r--r--
file Gutil.agda 2819 -rw-r--r--
file Gutil0.agda 3837 -rw-r--r--
file Putil.agda 35898 -rw-r--r--
file Solvable.agda 4800 -rw-r--r--
file Symmetric.agda 4036 -rw-r--r--
file fin.agda 4710 -rw-r--r--
file logic.agda 4604 -rw-r--r--
file nat.agda 12965 -rw-r--r--
file sym2.agda 4417 -rw-r--r--
file sym2n.agda 1473 -rw-r--r--
file sym3.agda 11482 -rw-r--r--
file sym3n.agda 1493 -rw-r--r--
file sym4.agda 2154 -rw-r--r--
file sym5.agda 14781 -rw-r--r--
file sym5a.agda 3349 -rw-r--r--
file sym5n.agda 2794 -rw-r--r--