logical_unification-0.4.7.dist-info/licenses/LICENSE.txt,sha256=jD_-M_Qmg4dnTlb3BCQbmRIO7ARTTquWT65LKWEH6WI,1536
unification/__init__.py,sha256=_hfpKrwHrQy_fSKa3KBxFkne5J8tqy_-DvOlyaRXPfw,207
unification/core.py,sha256=9SdgfiaDthNWLIP_hcoKTQR8Sd49jxTeQCTqFP8HNTM,7114
unification/dispatch.py,sha256=nf8kW95fvdaY0UDtyhVoyeFAhoMZXwN0emyITouQRr4,140
unification/match.py,sha256=VBAgXj5UldLlUAy1lFvpG5nYwcQfQQDovlk5lETvRPE,3185
unification/more.py,sha256=Bqu76_MkNNqjWu9PwbhqN6p5I-jC444r9DE_b4NOo-s,2600
unification/utils.py,sha256=zQj-oUsB1kRrZfEx1nG4tMA6NKKcsyX9U4amux-yTEA,2503
unification/variable.py,sha256=Qo1yeZdaQ5BvJyNZ97n7qi3BWW93eEBC0rxIpsOmHnk,2647
logical_unification-0.4.7.dist-info/METADATA,sha256=bmzDW8JqTg_T9TggpkvnT6_k3jU-BBXxK7PJa1NxMKg,15337
logical_unification-0.4.7.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
logical_unification-0.4.7.dist-info/top_level.txt,sha256=NN5Q-S85DcmLNbQkmdZkk7ZvmKchUnzWHEsc7HuAX6M,12
logical_unification-0.4.7.dist-info/RECORD,,
