| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 526 B |
|
Quelle Try0.thySprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/Try0.thy Author: Jasmin Blanchette, LMU Muenchen Author: Martin Desharnais, LMU Muenchen Author: Fabian Huch, TU Muenchen *) theory Try0 imports Pure keywords "try0" :: diag begin ML_file ‹Tools/try0.ML› ML_file ‹Tools/try0_util.ML› ML ‹ val () = Try0.register_proof_method "simp" {run_if_auto_try = true} (Try0_Util.apply_raw_named_method "simp" false Try0_Util.simp_attrs Simplifi handle Symtab.DUP _ => () › end
¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet am 2026-04-26) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26