Mercurial > hg > Members > kono > Proof > galois
directory /src/ @ 330:1ff0b95e437f 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 | 9645 | -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 | 4797 | -rw-r--r-- |
sym2n.agda | 1497 | -rw-r--r-- |
sym3.agda | 10320 | -rw-r--r-- |
sym3n.agda | 1518 | -rw-r--r-- |
sym4.agda | 2179 | -rw-r--r-- |
sym5.agda | 14806 | -rw-r--r-- |
sym5h.agda | 3843 | -rw-r--r-- |
sym5n.agda | 3018 | -rw-r--r-- |