Mercurial > hg > Members > kono > Proof > galois
directory /src/ @ 331:ee6b8f4cbf4c default tip
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 FLComm.agda
|
8555 | -rw-r--r-- |
|
FLutil.agda
|
12458 | -rw-r--r-- |
|
Gutil.agda
|
2864 | -rw-r--r-- |
|
Homomorphism.agda
|
19252 | -rw-r--r-- |
|
NormalSubgroup.agda
|
4845 | -rw-r--r-- |
|
Putil.agda
|
42010 | -rw-r--r-- |
|
Solvable.agda
|
9853 | -rw-r--r-- |
|
Symmetric.agda
|
4423 | -rw-r--r-- |
|
fin.agda
|
19256 | -rw-r--r-- |
|
logic.agda
|
5267 | -rw-r--r-- |
|
nat.agda
|
34032 | -rw-r--r-- |
|
sym2.agda
|
3997 | -rw-r--r-- |
|
sym2n.agda
|
1143 | -rw-r--r-- |
|
sym3.agda
|
9306 | -rw-r--r-- |
|
sym3n.agda
|
1231 | -rw-r--r-- |
|
sym4.agda
|
2087 | -rw-r--r-- |
|
sym5.agda
|
14813 | -rw-r--r-- |
|
sym5h.agda
|
3901 | -rw-r--r-- |
|
sym5n.agda
|
3096 | -rw-r--r-- |