isabelle_client/__init__.py,sha256=AuF1Q5vRPnRzmjsoc5ISYfviLYRd93MCb-9ZAE2Op1I,672
isabelle_client/isabelle_client.py,sha256=q92ILC5Hn60I7liiCMiYvVMFnEOh4IZGjFq5cFtWahg,10004
isabelle_client/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_client/utils.py,sha256=hzBnU0G9PdVgn2gW9vXdQGSYSq0f5XNGxqRnqUK7Wiw,3766
isabelle_client-0.0.5.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
isabelle_client-0.0.5.dist-info/WHEEL,sha256=VN2eEg4PHbTOniXb-cCYQPc6zUTS4dAcATjlgU3q-Lo,83
isabelle_client-0.0.5.dist-info/METADATA,sha256=QJRx4RI-NGQ2PVw7TvDnad4NXShnn3-YnwAkPZQv_8Y,1616
isabelle_client-0.0.5.dist-info/RECORD,,
