Summary
- more symbols;
- tuned proofs;
The file was modified | thys/AWN/Inv_Cterms.thy (diff) |
The file was modified | thys/Automatic_Refinement/Parametricity/Param_Tool.thy (diff) |
The file was modified | thys/Refine_Monadic/Refine_Automation.thy (diff) |
The file was modified | thys/Separation_Algebra/Sep_Tactics.thy (diff) |
The file was modified | thys/Separation_Logic_Imperative_HOL/Automation.thy (diff) |
The file was modified | thys/Simpl/hoare.ML (diff) |
The file was modified | thys/Jinja/BV/BVExample.thy (diff) |
The file was modified | thys/Jinja/BV/TF_JVM.thy (diff) |
The file was modified | thys/Jinja/Compiler/TypeComp.thy (diff) |