isabelle_layout/__init__.py,sha256=EVmbzAIpUrnlZE4MA4PWREwL5gWzBUU45RxXX8yxMSI,3569
isabelle_layout/_cli.py,sha256=dHz77fsV-xQgxqhT-XzR2kGcNyMUlhrDM37ZxENwtQU,14122
isabelle_layout/_lexer.py,sha256=Qq_5KHYT9O45UUPQNVqA_lHWgiDanHZfZ3Xy5BD3Wqk,4789
isabelle_layout/conformance.py,sha256=FOVCNDY8Iax6zv-VdJPCxurB2kJguHpbv3MB4ymcV_c,5121
isabelle_layout/distribution.py,sha256=zY8ZcLs3vC8BTlA2NjeoAk-hLtZN_YKZCLyghuhZiVA,4448
isabelle_layout/project.py,sha256=cFikAOKsG94RB5e7bk7LVlVsqSFd_cxuMZxVwWbZnfQ,9627
isabelle_layout/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_layout/roots.py,sha256=iprvWnxcHEvQRq9juWXbYcyw0kjB4UFVx_Xa5ykeOmw,21893
isabelle_layout/theories.py,sha256=_YpL6CH8VZJY9160d-aS1dxMNkhu-Y0F7RqkvCm9nkI,16261
isabelle_layout/data/__init__.py,sha256=7HJYM9Odu4QyA7Y8EpAtHrocicjW5f3ta4LyAmEFHY4,268
isabelle_layout/data/conformance.json,sha256=al3R_wnQCZ0PbscKuwz0so-QUkgjaY1ALpZbBX6tdks,14798
isabelle_layout-0.2.2.dist-info/METADATA,sha256=BPPBN5Ye5VF-df0fFSl0kqRPQqp5WHROvdbUj1PT4Xg,8392
isabelle_layout-0.2.2.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
isabelle_layout-0.2.2.dist-info/entry_points.txt,sha256=syGfDR_0p8L61vogE3wuPNSPPtVScR2MiDPKBJZJFOc,62
isabelle_layout-0.2.2.dist-info/licenses/LICENSE,sha256=X6GixdkDmvVBUeAQQbZ7XnMU9VDi60NwIS90yW4NN1M,1072
isabelle_layout-0.2.2.dist-info/RECORD,,
