my_better_isabelle_prover/AGENTS.md,sha256=uNn108XeITOMC1_VdjJvHNFWX9lV1ZzAjJaZoa5wboQ,4582
my_better_isabelle_prover/__init__.py,sha256=Zn1KFblwuFHiDRdRAiRnDBRkbPttWh44jKa5zG2ov0E,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/expose_map_syn/sign.ML.patch,sha256=IeyMSyRoQyUB9qvg-Ry218e5mEDdWmeGzW-bDtoplz0,389
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/Isabelle2024/show_types_nv/attrib.ML.patch,sha256=BbvyTk9EPRy8qdVgK99gilRmQxOTFn4m42SLMjAnCdc,420
my_better_isabelle_prover/patches/Isabelle2024/show_types_nv/etc-options.patch,sha256=grB0NmjPICkVXC_lNa5aRggK8CDdhSHyXj3zlon0XJo,448
my_better_isabelle_prover/patches/Isabelle2024/show_types_nv/printer.ML.patch,sha256=6-N4E1a4bXmuzKQsGVja-Ow4OAURLooEszGcGvaapEQ,761
my_better_isabelle_prover/patches/Isabelle2024/show_types_nv/syntax_phases.ML.patch,sha256=G35Jzaf_vgbu8uwbnISBBldCq7RjlC-wHXtqkyFEbC8,2096
my_better_isabelle_prover/patches/Isabelle2025-2/expose_map_syn/sign.ML.patch,sha256=IeyMSyRoQyUB9qvg-Ry218e5mEDdWmeGzW-bDtoplz0,389
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/patches/Isabelle2025-2/show_types_nv/attrib.ML.patch,sha256=fxr2DbGuUi8wWrm3kdfb8ejZf90VTrWI49p7otEm_Jg,407
my_better_isabelle_prover/patches/Isabelle2025-2/show_types_nv/etc-options.patch,sha256=grB0NmjPICkVXC_lNa5aRggK8CDdhSHyXj3zlon0XJo,448
my_better_isabelle_prover/patches/Isabelle2025-2/show_types_nv/printer.ML.patch,sha256=fl7x5JD3NwHcum_I8QIuPveZwR-d_XMnYZVbHP80_0s,711
my_better_isabelle_prover/patches/Isabelle2025-2/show_types_nv/syntax_phases.ML.patch,sha256=wWqysWf3Dx0qkL9uWU9hxgBl3p0yzmD0jstPwh7_-q4,2100
my_better_isabelle_prover-0.2.0.dist-info/licenses/LICENSE,sha256=w4b0V3vcbCHUHz89DNgrP8bRFREet8GSL6cI12LK_SI,1066
my_better_isabelle_prover-0.2.0.dist-info/METADATA,sha256=eE7G7PZyhL-fmL4qj8mi4m1xcEn61Dta3nGKyy9Os1Q,6499
my_better_isabelle_prover-0.2.0.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
my_better_isabelle_prover-0.2.0.dist-info/entry_points.txt,sha256=qqz4Oep2nJNSYo3Gioffyazr4w9xLMiwabV4wBPOzn0,74
my_better_isabelle_prover-0.2.0.dist-info/top_level.txt,sha256=da_EV-A5mzMw7-rXFma4QN65LFBuIDg4RNOyg-8vcdo,26
my_better_isabelle_prover-0.2.0.dist-info/RECORD,,
