prelude/__init__.py,sha256=tcc-V9C6u3ri5R8ftwQZ--HiDEl7p_0FpFghUL_tRjA,270
prelude/build.py,sha256=iSFxzGvxXssfF1ZygZTQ4p_se6NMgh2ciUxsfpQmfJQ,3556
prelude/formula.py,sha256=CKGyPDA3buFVV_TW4vPbQ-Z1qQGjSFHQpYjLbqGPI4Y,10416
prelude/hilbert_rules.py,sha256=5_o2dFAx8EpBNODJ3itq18C6mkDSsJBgU5R0F11nRBg,3743
prelude/structures.py,sha256=ZwMKw0gmWbmdOUOLwwIQ1eEkdC4IlPbXdZC7MgcEtQw,1342
metamath_prelude-0.0.1.dist-info/METADATA,sha256=4lm9ej4TzSbfbBxHAkBfzNi5Atl97YzHPL4GYszYeAg,2615
metamath_prelude-0.0.1.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
metamath_prelude-0.0.1.dist-info/top_level.txt,sha256=lr87FqC_zfdhrQbCUJojQ44V_LMqYtCFgjh3Qk_OFSg,8
metamath_prelude-0.0.1.dist-info/RECORD,,
