folpy/__init__.py,sha256=frvCnOfqvcVyknK6ZAHPGBbJgLAnwM-n35mGob1qzBE,95
folpy/examples/__init__.py,sha256=1YYku2mfJMZt8WLMcmk8EAj8mOEyQAqVu9m7LUJ1GMA,77
folpy/examples/lattices.py,sha256=GDkB8SwKJ8khR-cMB81-XTx9oli7YxkdwcoiLAe58TY,5566
folpy/examples/posets.py,sha256=Wzc1IRCZREJ1pG2c8pZ21ZvwFW7XIGzRB-6mTqYd7kE,1622
folpy/semantics/__init__.py,sha256=qQmhhx5YLONAze5q3dAsP0LmKsmv6VlNVLco__rJP48,387
folpy/semantics/algebras.py,sha256=c70wdbTa6PiL6nqeIprUf2WYa4LAYoZHXb8Rz_lYZD4,8116
folpy/semantics/classes.py,sha256=mxQE5zjXVGEvBpH48JgVmieFjBYKA1tb3anTFVB2PVw,5647
folpy/semantics/congruences.py,sha256=nUZ2p3s3NoyNDbAdD0sF1TtY_VULts5vqgj_mOYqswQ,10030
folpy/semantics/modelfunctions.py,sha256=VCQFpTA74A-All3QX6n3nKBH509B9h9zJ3bt107rmLo,3873
folpy/semantics/models.py,sha256=Qack1B7ZB83Su3rFdJycQSd7iHKe2pNOxhIXqkgZqoY,14641
folpy/semantics/morphisms.py,sha256=0BRBGBaTB3ZQFVbFmvAVBsXpvn4aXSS6jELMf-IRRCA,11154
folpy/semantics/theories.py,sha256=yhk7NxNxeLqXUAVWrLJzld_8RkRgsdQsQYIdKgDd3zI,1719
folpy/syntax/__init__.py,sha256=WksXHNfEqjKgw1hyJ8tjk3y_8L2wFEfR7RVKAQuJrrk,115
folpy/syntax/formulas.py,sha256=wo2cvDjuutL40vTQiSr96q4MBeorD6kzmAcVAR_OFH4,9199
folpy/syntax/terms.py,sha256=hcAyk49DKVfkYthXzK2juMh8jsb3GYfU-WEQiMl8Hhw,2395
folpy/syntax/types.py,sha256=EC5YjvAB_U9HEqXszr0cyKvP5OJFzJFdjFpePgzQu2w,4337
folpy/utils/__init__.py,sha256=BkCu5eZxFTTVt_5-FcFnyEa7fWQT2Nv0-gn97ppk9kc,158
folpy/utils/functions.py,sha256=h3PEcTj-p50pMOUI1G8dwUSO2gIZuTa_wUsJzM_8Cq0,10088
folpy/utils/misc.py,sha256=MzWKgUUGN95cp_MvvpnOaDfEuN-OhAgif8UbB3so6Ac,1332
folpy/utils/minion/__init__.py,sha256=c2y5-DRbyYiwG-qxZwjj8IOlJGl2WNUkFsEH3UBCBGI,277
folpy/utils/minion/minion,sha256=DyFIO42ouDoYVgyBGP8NK2YFnZYIDTQ98zm4ZgqLqio,48875647
folpy/utils/minion/minion.py,sha256=fzmAvyGIDdN9PLJ6hwx4TLGRF74cs19_Fx7HSL8OLFQ,22867
folpy-0.1.2.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
folpy-0.1.2.dist-info/METADATA,sha256=b6FYoXakLKVlxbuymHnREc0E_C4U2eztT8u4sy6XsJk,512
folpy-0.1.2.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
folpy-0.1.2.dist-info/top_level.txt,sha256=9uqRNNwR0XVRV3T3dhCoVuz5rivZEOQk-2rIb0Owtfk,6
folpy-0.1.2.dist-info/RECORD,,
