my_better_isabelle_prover/AGENTS.md,sha256=jw2oSd41y8zAznteew-V3TeenXHkg3v2P0Jf_e977LU,4100
my_better_isabelle_prover/__init__.py,sha256=rnObPjuBcEStqSO0S6gsdS_ot8ITOQjVj_-P1LUUYpg,22
my_better_isabelle_prover/__main__.py,sha256=VlI4MvlIaDXLkhkIaBy86RwZyA0tNe0QsYCH3FED_UM,55
my_better_isabelle_prover/cli.py,sha256=lkXS8kl2L_zSw2rbD7YlyRt1kqBB5MMkcu0H0xWoLoA,4983
my_better_isabelle_prover/isabelle.py,sha256=8be4frlnpqFjzW0QSo8gto-GngyClaKSlhzyiY9NBz0,2079
my_better_isabelle_prover/patcher.py,sha256=1iLNY71E0Z26Lk2r2q0b5I55sWvwTkYimcsaDskaEuM,4490
my_better_isabelle_prover/patches/__init__.py,sha256=WaJ_jicXl2oUm3Zb1GuKuq6bOaqrNPucc8Br4JvbeDE,2580
my_better_isabelle_prover/patches/Isabelle2024/perspective_eof_clamp/vscode_model.scala.patch,sha256=5SAEvurRG86BpOuuHmgTTwU1OacfZMwiXzOo-GBC27k,594
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/perspective_eof_clamp/vscode_model.scala.patch,sha256=5SAEvurRG86BpOuuHmgTTwU1OacfZMwiXzOo-GBC27k,594
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=pVfpQkLWAg0p4p8tidhMz0pYGblz0GlU4hZWCd-Hebg,8518
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/lsp.scala.patch,sha256=bTFcdq5K80rSXzpgkvPRxGVsG47V1OzwVtv_sngi-ao,2759
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.1.dist-info/licenses/LICENSE,sha256=w4b0V3vcbCHUHz89DNgrP8bRFREet8GSL6cI12LK_SI,1066
my_better_isabelle_prover-0.1.1.dist-info/METADATA,sha256=BKqzNHSkuXoHhyqhjyAoyL-NeO4rXgb70hmKEgql7EE,5513
my_better_isabelle_prover-0.1.1.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
my_better_isabelle_prover-0.1.1.dist-info/entry_points.txt,sha256=qqz4Oep2nJNSYo3Gioffyazr4w9xLMiwabV4wBPOzn0,74
my_better_isabelle_prover-0.1.1.dist-info/top_level.txt,sha256=da_EV-A5mzMw7-rXFma4QN65LFBuIDg4RNOyg-8vcdo,26
my_better_isabelle_prover-0.1.1.dist-info/RECORD,,
