Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- corrected all "bysimp"
The file was modified | thys/Core_DOM/standard/Core_DOM_Heap_WF.thy |
The file was modified | thys/Core_SC_DOM/safely_composable/Core_DOM_Heap_WF.thy |
The file was modified | thys/List_Update/List_Factoring.thy |
The file was modified | thys/MFMC_Countable/MFMC_Flow_Attainability.thy |
The file was modified | thys/MFMC_Countable/MFMC_Unbounded.thy |
The file was modified | thys/MFMC_Countable/MFMC_Web.thy |
The file was modified | thys/SC_DOM_Components/Core_DOM_SC_DOM_Components.thy |
The file was modified | thys/Virtual_Substitution/EliminateVariable.thy |