Summary
- adapted to Isabelle devel
- perl v5.26+ doesn't like unescaped left braces
- Adapted to new HOL-Algebra
The file was modified | thys/Pell/Pell.thy (diff) |
The file was modified | thys/Pell/Pell_Algorithm_Test.thy (diff) |
The file was modified | thys/Huffman/document/build (diff) |
The file was modified | thys/Localization_Ring/Localization.thy (diff) |