Skip to content
Success

Changes

Summary

  1. more symbols;
  2. tuned proofs;
Changeset 7526:a195d62172be by wenzelm:
more symbols;
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)
Changeset 7525:d20bb66c85e8 by wenzelm:
tuned proofs;
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)