prelude/__init__.py,sha256=tcc-V9C6u3ri5R8ftwQZ--HiDEl7p_0FpFghUL_tRjA,270
prelude/build.py,sha256=Q2aPT48dSwRcY8t-BPlPzgjabEvA1cC5_fk77HKHBiw,3259
prelude/formula.py,sha256=iQWhEzU2OVQs3rZMYtTr2QGIanrZ2722PGhiZazbfP0,9664
prelude/hilbert_rules.py,sha256=5_o2dFAx8EpBNODJ3itq18C6mkDSsJBgU5R0F11nRBg,3743
prelude/structures.py,sha256=Zxl0CiVfSB3MIfs_m-Gxe3y4huIfw6OZUM_eSeKjCHE,1614
metamath_prelude-0.0.4.dist-info/METADATA,sha256=aWvc_rAWKLbiL_XsV0IqNTE6uL0U4JMTe25eR-HBZfo,2828
metamath_prelude-0.0.4.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
metamath_prelude-0.0.4.dist-info/top_level.txt,sha256=lr87FqC_zfdhrQbCUJojQ44V_LMqYtCFgjh3Qk_OFSg,8
metamath_prelude-0.0.4.dist-info/RECORD,,
