├── .bzr ├── README ├── branch-format ├── branch │ ├── branch.conf │ ├── format │ ├── last-revision │ └── tags ├── checkout │ ├── conflicts │ ├── dirstate │ ├── format │ └── views └── repository │ ├── format │ ├── indices │ ├── 47b2bd249d677c9c7dacf56b1430e9b5.cix │ ├── 47b2bd249d677c9c7dacf56b1430e9b5.iix │ ├── 47b2bd249d677c9c7dacf56b1430e9b5.rix │ ├── 47b2bd249d677c9c7dacf56b1430e9b5.six │ ├── 47b2bd249d677c9c7dacf56b1430e9b5.tix │ ├── c2918e7db82651856e0a74e4e053f2ce.cix │ ├── c2918e7db82651856e0a74e4e053f2ce.iix │ ├── c2918e7db82651856e0a74e4e053f2ce.rix │ ├── c2918e7db82651856e0a74e4e053f2ce.six │ └── c2918e7db82651856e0a74e4e053f2ce.tix │ ├── pack-names │ └── packs │ ├── 47b2bd249d677c9c7dacf56b1430e9b5.pack │ └── c2918e7db82651856e0a74e4e053f2ce.pack ├── COPYING.LESSER ├── LICENSE.txt ├── Makefile ├── Makefile-8.4 ├── README.md ├── _CoqProject ├── abelian_group.v ├── base.v ├── binary_tree.v ├── commutative_ring.v ├── coq_help.v ├── documentation.pdf ├── field.v ├── function.v ├── group.v ├── group_expr.v ├── int_group.v ├── monoid.v ├── monoid_expr.v ├── monoid_group.v ├── natural.v ├── ring.v └── simplify.v /.bzr/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/README -------------------------------------------------------------------------------- /.bzr/branch-format: -------------------------------------------------------------------------------- 1 | Bazaar-NG meta directory, format 1 2 | -------------------------------------------------------------------------------- /.bzr/branch/branch.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/branch/branch.conf -------------------------------------------------------------------------------- /.bzr/branch/format: -------------------------------------------------------------------------------- 1 | Bazaar Branch Format 7 (needs bzr 1.6) 2 | -------------------------------------------------------------------------------- /.bzr/branch/last-revision: -------------------------------------------------------------------------------- 1 | 57 llee454@gmail.com-20180818015228-nk5hr8bdmybdoxt7 2 | -------------------------------------------------------------------------------- /.bzr/branch/tags: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.bzr/checkout/conflicts: -------------------------------------------------------------------------------- 1 | BZR conflict list format 1 2 | -------------------------------------------------------------------------------- /.bzr/checkout/dirstate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/checkout/dirstate -------------------------------------------------------------------------------- /.bzr/checkout/format: -------------------------------------------------------------------------------- 1 | Bazaar Working Tree Format 6 (bzr 1.14) 2 | -------------------------------------------------------------------------------- /.bzr/checkout/views: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.bzr/repository/format: -------------------------------------------------------------------------------- 1 | Bazaar repository format 2a (needs bzr 1.16 or later) 2 | -------------------------------------------------------------------------------- /.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.cix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.cix -------------------------------------------------------------------------------- /.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.iix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.iix -------------------------------------------------------------------------------- /.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.rix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.rix -------------------------------------------------------------------------------- /.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.six: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.six -------------------------------------------------------------------------------- /.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.tix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/47b2bd249d677c9c7dacf56b1430e9b5.tix -------------------------------------------------------------------------------- /.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.cix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.cix -------------------------------------------------------------------------------- /.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.iix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.iix -------------------------------------------------------------------------------- /.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.rix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.rix -------------------------------------------------------------------------------- /.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.six: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.six -------------------------------------------------------------------------------- /.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.tix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/indices/c2918e7db82651856e0a74e4e053f2ce.tix -------------------------------------------------------------------------------- /.bzr/repository/pack-names: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/pack-names -------------------------------------------------------------------------------- /.bzr/repository/packs/47b2bd249d677c9c7dacf56b1430e9b5.pack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/packs/47b2bd249d677c9c7dacf56b1430e9b5.pack -------------------------------------------------------------------------------- /.bzr/repository/packs/c2918e7db82651856e0a74e4e053f2ce.pack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/.bzr/repository/packs/c2918e7db82651856e0a74e4e053f2ce.pack -------------------------------------------------------------------------------- /COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/COPYING.LESSER -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile-8.4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/Makefile-8.4 -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/README.md -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/_CoqProject -------------------------------------------------------------------------------- /abelian_group.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/abelian_group.v -------------------------------------------------------------------------------- /base.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/base.v -------------------------------------------------------------------------------- /binary_tree.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/binary_tree.v -------------------------------------------------------------------------------- /commutative_ring.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/commutative_ring.v -------------------------------------------------------------------------------- /coq_help.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/coq_help.v -------------------------------------------------------------------------------- /documentation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/documentation.pdf -------------------------------------------------------------------------------- /field.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/field.v -------------------------------------------------------------------------------- /function.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/function.v -------------------------------------------------------------------------------- /group.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/group.v -------------------------------------------------------------------------------- /group_expr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/group_expr.v -------------------------------------------------------------------------------- /int_group.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/int_group.v -------------------------------------------------------------------------------- /monoid.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/monoid.v -------------------------------------------------------------------------------- /monoid_expr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/monoid_expr.v -------------------------------------------------------------------------------- /monoid_group.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/monoid_group.v -------------------------------------------------------------------------------- /natural.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/natural.v -------------------------------------------------------------------------------- /ring.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/ring.v -------------------------------------------------------------------------------- /simplify.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llee454/functional-algebra/HEAD/simplify.v --------------------------------------------------------------------------------