prelude/__init__.py,sha256=Ge-Q990KQXj7iBbjzoujUkl1XncLvC9YauPEGyGxGZ4,313
prelude/build.py,sha256=J_qcer7Gxed6ph0VUAybMzVUJrQtnbjSeSTZE8ufck0,3525
prelude/formula.py,sha256=tlBaq2SFm-hhWkFJf2VOXDR_Ap3XjW3DVNqapTYnQuo,10591
prelude/hilbert_rules.py,sha256=dT96YFdopMhzKWNiUug1RoeOgcV3bXfSWfn-y3SGRcY,2659
prelude/language.py,sha256=AMLxfQu-IqrocKjhUMBa7iwwwr3E49iiZTRaGxgkPTQ,1495
prelude/metamath_binding.py,sha256=5ITwHcrEqnPllO953CRYMVFSQY6k7hoxhob44LSnolA,2673
prelude/notation.py,sha256=3jmrWj_cDGVwjYQZOLXyB83Y_HnqTDchr2HOjDko95Y,1159
prelude/structures.py,sha256=PuthaE2oDxiHlq95hu7U3nkI6iNf00eni3tQd_xGFaA,1207
metamath_prelude-0.0.7.dist-info/METADATA,sha256=6pK-VaRdBPwI6gGuTpx7jy7WO2DZhQ9fpb7rlZHIkx8,2804
metamath_prelude-0.0.7.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
metamath_prelude-0.0.7.dist-info/top_level.txt,sha256=lr87FqC_zfdhrQbCUJojQ44V_LMqYtCFgjh3Qk_OFSg,8
metamath_prelude-0.0.7.dist-info/RECORD,,
