1	# bend-osdev-word64: every file of the package, so that bend --publish sends
2	# them all (written by scripts/publish.py; not in the repository)
3	import Base
4	import ./LAWS.bend as F0
5	import ./LAWS_bits.bend as F1
6	import ./LAWS_div.bend as F2
7	import ./LAWS_mul.bend as F3
8	import ./LAWS_text.bend as F4
9	import ./PROOF.bend as F5
10	import ./PROOF_bits.bend as F6
11	import ./PROOF_div.bend as F7
12	import ./PROOF_mul.bend as F8
13	import ./PROOF_text.bend as F9
14	import ./check.bend as F10
15	import ./proof_shift.bend as F11
16	import ./proof_value.bend as F12
17	import ./word64.bend as F13