1	# bend-mathlib: machine-checked lemmas for Bend 2 (Nat, Bool, List, String, Maybe, equality); import one module, e.g. bend-mathlib@0.7.0.0/nat.bend.
2	# Source, lemma index and license: https://github.com/bendlib/bendlib
3	import Base
4	import ./equal.bend as MEqual
5	import ./bool.bend as MBool
6	import ./nat.bend as MNat
7	import ./list.bend as MList
8	import ./string.bend as MString
9	import ./perm.bend as MPerm
10	import ./sort.bend as MSort
11	import ./algebra.bend as MAlgebra
12	import ./order.bend as MOrder
13	import ./maybe.bend as MMaybe