my_better_isabelle_prover/__init__.py,sha256=kUR5RAFc7HCeiqdlX36dZOHkUI5wI6V_43RpEcD8b-0,22
my_better_isabelle_prover/__main__.py,sha256=VlI4MvlIaDXLkhkIaBy86RwZyA0tNe0QsYCH3FED_UM,55
my_better_isabelle_prover/cli.py,sha256=MaQv7YgwmunYMCa-WQHPRqnOU85OzI9lwOvF3NAyr2Q,4661
my_better_isabelle_prover/isabelle.py,sha256=8be4frlnpqFjzW0QSo8gto-GngyClaKSlhzyiY9NBz0,2079
my_better_isabelle_prover/patcher.py,sha256=BVyStHQMlkfjZ8sRS3Uuodv6yxXJSmhmkEOtUWqAr1g,4485
my_better_isabelle_prover/patches/__init__.py,sha256=WaJ_jicXl2oUm3Zb1GuKuq6bOaqrNPucc8Br4JvbeDE,2580
my_better_isabelle_prover/patches/Isabelle2024/pide_control/execution.ML.patch,sha256=Z87F0xfq-O0UyTsvAisJlnB74zL89KeeAlCoIw36Qo8,911
my_better_isabelle_prover/patches/Isabelle2024/pide_control/language_server.scala.patch,sha256=vnUI5XKzShEM4Gpc2FJqeIWvyD6Q2bBsbobKai4TJko,4328
my_better_isabelle_prover/patches/Isabelle2024/pide_control/lsp.scala.patch,sha256=a6hUIXxZzW6BqDS09EQkcjk6Na0oxszIKQnWvAwG9Ag,1568
my_better_isabelle_prover/patches/Isabelle2024/pide_control/protocol.ML.patch,sha256=5Pn55Q8llW4-ZeLDZq-u93f28OSsvwCgdJSRK0jlwkA,442
my_better_isabelle_prover/patches/Isabelle2024/pide_control/protocol.scala.patch,sha256=Xfdy9FoHe3A2uxnB6X-eK7dUa848tDyVhjDG4N1j3Cw,460
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/execution.ML.patch,sha256=Hr8vb49DYsIpG8iiAKyMu9wYsJwv33Gw3JEe5YHaJcs,911
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/language_server.scala.patch,sha256=5n1wa8X_CG75SKjQ9kdwaSA4McZdHbiLJhTLYG6ZJVU,4830
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/lsp.scala.patch,sha256=zdRRvGywz81Q31-K2MP_kg-gXCoWksQtP7CjITjJjPo,1568
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/protocol.ML.patch,sha256=Wl3UWeWAyeZxzzQE5iKQ4kOH7ueaY5_7crA00o00Yvc,442
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/protocol.scala.patch,sha256=Qp45SZnTFyw-A3_AFpA8Fj67r8p6rYXDR2aZNvmk0-Q,467
my_better_isabelle_prover/patches/Isabelle2025-2/register_thy/thy_info.ML.patch,sha256=1wLaHtIRr2YA2UcHrYEWsKb-_WKHXiHDXLliQnAXahw,1031
my_better_isabelle_prover-0.1.0.dist-info/licenses/LICENSE,sha256=w4b0V3vcbCHUHz89DNgrP8bRFREet8GSL6cI12LK_SI,1066
my_better_isabelle_prover-0.1.0.dist-info/METADATA,sha256=MQiUV-yyFfRtP7fJl6r5AF7X1OJZj-ZtdkVZzr_zQ0Y,5488
my_better_isabelle_prover-0.1.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
my_better_isabelle_prover-0.1.0.dist-info/entry_points.txt,sha256=qqz4Oep2nJNSYo3Gioffyazr4w9xLMiwabV4wBPOzn0,74
my_better_isabelle_prover-0.1.0.dist-info/top_level.txt,sha256=da_EV-A5mzMw7-rXFma4QN65LFBuIDg4RNOyg-8vcdo,26
my_better_isabelle_prover-0.1.0.dist-info/RECORD,,
