Skip to content
Success

Changes

Summary

  1. adapted to Isabelle devel
  2. perl v5.26+ doesn't like unescaped left braces
  3. Adapted to new HOL-Algebra
Changeset 9468:affa9baa5691 by lars hupel _lars.hupel@mytum.de_:
adapted to Isabelle devel
The file was modified thys/Pell/Pell.thy (diff)
The file was modified thys/Pell/Pell_Algorithm_Test.thy (diff)
Changeset 9467:3b351bcd6c42 by lars hupel _lars.hupel@mytum.de_:
perl v5.26+ doesn't like unescaped left braces
The file was modified thys/Huffman/document/build (diff)
Changeset 9466:d4e79828ce73 by paulson _lp15@cam.ac.uk_:
Adapted to new HOL-Algebra
The file was modified thys/Localization_Ring/Localization.thy (diff)