Summary
- tuned proof
- prefer computations for proof procedures
- isabelle update_cartouches
The file was modified | thys/Polynomial_Factorization/Prime_Factorization.thy (diff) |
The file was modified | thys/Bertrands_Postulate/Bertrand.thy (diff) |
The file was modified | thys/Bertrands_Postulate/bertrand.ML (diff) |
The file was modified | thys/Regular-Sets/Regexp_Method.thy (diff) |
The file was modified | thys/Regular-Sets/Derivatives.thy (diff) |
The file was modified | thys/Regular-Sets/Equivalence_Checking.thy (diff) |
The file was modified | thys/Regular-Sets/Equivalence_Checking2.thy (diff) |
The file was modified | thys/Regular-Sets/NDerivative.thy (diff) |
The file was modified | thys/Regular-Sets/Regexp_Method.thy (diff) |
The file was modified | thys/Regular-Sets/Regular_Exp.thy (diff) |
The file was modified | thys/Regular-Sets/Regular_Set.thy (diff) |
The file was modified | thys/Regular-Sets/Relation_Interpretation.thy (diff) |
The file was modified | thys/Regular-Sets/pEquivalence_Checking.thy (diff) |