search

SKolodynski / IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16 stars 2 forks source link

fix Group_ZF_4 parser #25

Closed dan323 closed 1 year ago

dan323 commented 1 year ago

Divide Group_ZF_4 in 2 files, and modify the first part (about subgroups) to be parsed. The new file Group_ZF_5 (about group morphisms) is left as is.