Mercurial > hg > Members > kono > Proof > galois
directory /src/ @ 296:7c1e3e0be315
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 FLComm.agda
|
8813 | -rw-r--r-- |
|
FLutil.agda
|
11932 | -rw-r--r-- |
|
Gutil.agda
|
2819 | -rw-r--r-- |
|
Putil.agda
|
35898 | -rw-r--r-- |
|
Solvable.agda
|
10110 | -rw-r--r-- |
|
Symmetric.agda
|
4036 | -rw-r--r-- |
|
fin.agda
|
18766 | -rw-r--r-- |
|
homomorphism.agda
|
6999 | -rw-r--r-- |
|
logic.agda
|
4604 | -rw-r--r-- |
|
nat.agda
|
12965 | -rw-r--r-- |
|
sym2.agda
|
4417 | -rw-r--r-- |
|
sym2n.agda
|
1473 | -rw-r--r-- |
|
sym3.agda
|
11482 | -rw-r--r-- |
|
sym3n.agda
|
1493 | -rw-r--r-- |
|
sym4.agda
|
2154 | -rw-r--r-- |
|
sym5.agda
|
14781 | -rw-r--r-- |
|
sym5a.agda
|
3393 | -rw-r--r-- |
|
sym5n.agda
|
3018 | -rw-r--r-- |