Skip to content
Snippets Groups Projects
Commit a00b9f38 authored by Gerwin Klein's avatar Gerwin Klein
Browse files

FOL_Compactness: adjust to Isabelle2025-RC3

parent 9b4a8586
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment