fixed Proof_Strategy_Language following Isabelle/f58108b7a60c
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFPe7547e409434: SpecCheck now without _ (Regex_Equivalence is still broken)
- Branches
- Unknown
- Tags
fixed Proof_Strategy_Language following Isabelle/f58108b7a60c Tags None Subscribers None |