Skip to content
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. avoid Unicode conflict with \<pounds>;
Changeset 68672:9247996782c9 by wenzelm:
avoid Unicode conflict with \&lt;pounds&gt;;
The file was modified src/HOL/TPTP/TPTP_Parser_Test.thy