Re: [isabelle] HOL-Word contains trivial lemmas



> We should definitely remove these two.

https://isabelle.in.tum.de/testboard/Isabelle/rev/243cee7c1e19




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.