prelude/__init__.py,sha256=tcc-V9C6u3ri5R8ftwQZ--HiDEl7p_0FpFghUL_tRjA,270
prelude/build.py,sha256=Q2aPT48dSwRcY8t-BPlPzgjabEvA1cC5_fk77HKHBiw,3259
prelude/formula.py,sha256=e1yIL-i3A6vUU9_g5THVbc8ZE5HOwOmlnDH-Y2bg25M,7678
prelude/hilbert_rules.py,sha256=mpqhRFtvupg39ikDAFa7A2ChdDYSbGTeZsg78f6xSzY,2220
prelude/structures.py,sha256=NgEwiwgTvttEMNS0bQlbLGJASpy1q8WaVPCQIaX67R0,765
metamath_prelude-0.0.5.dist-info/METADATA,sha256=Fn-co8c65nF4m01h22FC7e6b1MtYcBNMM8Yy5RHuMGA,2802
metamath_prelude-0.0.5.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
metamath_prelude-0.0.5.dist-info/top_level.txt,sha256=lr87FqC_zfdhrQbCUJojQ44V_LMqYtCFgjh3Qk_OFSg,8
metamath_prelude-0.0.5.dist-info/RECORD,,
