Summary
- Better treatment of assumptions/goals that are simply Boolean variables. Also cosmetic changes.
The file was modified | src/HOL/Multivariate_Analysis/Polytope.thy (diff) |
The file was modified | src/Provers/blast.ML (diff) |
The file was modified | src/HOL/Multivariate_Analysis/Polytope.thy (diff) |
The file was modified | src/Provers/blast.ML (diff) |