Summary
- avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer
- merged
- some refinements in Algebra and Number_Theory
- provide Go component
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff) |
The file was modified | src/HOL/Algebra/Ring.thy (diff) |
The file was modified | src/HOL/Number_Theory/Eratosthenes.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was added | Admin/components/go |