Skip to content
Success

Changes

Summary

  1. tuned proof
  2. prefer computations for proof procedures
  3. isabelle update_cartouches
Changeset 7618:786e4d8f4666 by haftmann:
tuned proof
The file was modified thys/Polynomial_Factorization/Prime_Factorization.thy (diff)
Changeset 7617:79eaeebb924b by haftmann:
prefer computations for proof procedures
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)
Changeset 7616:c815bb7b668a by haftmann:
isabelle update_cartouches
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)