Changes

Summary

merge from afp-2016
new entry Complx
web site updates for Separata
removal of duplicate AFP entry
new entry Separata

Changeset 7468:ad748aa27fad by kleing: merge from afp-2016
Changeset 7467:f6e997c4c7ba by nipkow: new entry Complx
The file was added	`thys/Complx/Language.thy`
The file was added	`thys/Complx/OG_Annotations.thy`
The file was added	`thys/Complx/OG_Hoare.thy`
The file was added	`thys/Complx/OG_Soundness.thy`
The file was added	`thys/Complx/OG_Syntax.thy`
The file was added	`thys/Complx/OG_Tactics.thy`
The file was added	`thys/Complx/ROOT`
The file was added	`thys/Complx/SeqCatch_decomp.thy`
The file was added	`thys/Complx/SmallStep.thy`
The file was added	`thys/Complx/document/root.tex`
The file was added	`thys/Complx/ex/Examples.thy`
The file was added	`thys/Complx/ex/SumArr.thy`
The file was added	`thys/Complx/ex/sumarr.c`
The file was added	`thys/Complx/lib/Cache_Tactics.thy`
The file was added	`thys/Complx/lib/ROOTS`
The file was added	`web/entries/Complx.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Word_Lib.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 7466:da5b8a7903b3 by paulson _lp15@cam.ac.uk_: web site updates for Separata
The file was added	`web/entries/Separata.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/entries/Separation_Algebra.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 7465:75aac82e369e by paulson _lp15@cam.ac.uk_: removal of duplicate AFP entry
The file was added	`thys/Separata/Separata.thy`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/Separata/ROOT` (diff)
The file was removed	`thys/Separata/Separata/Separata.thy`
The file was removed	`thys/Separata/Separation_Algebra/Map_Extra.thy`
The file was removed	`thys/Separata/Separation_Algebra/README`
The file was removed	`thys/Separata/Separation_Algebra/Sep_Eq.thy`
The file was removed	`thys/Separata/Separation_Algebra/Sep_Heap_Instance.thy`
The file was removed	`thys/Separata/Separation_Algebra/Sep_Tactics.thy`
The file was removed	`thys/Separata/Separation_Algebra/Separation_Algebra.thy`
The file was removed	`thys/Separata/Separation_Algebra/Separation_Algebra_Alt.thy`
The file was removed	`thys/Separata/Separation_Algebra/document/root.bib`
The file was removed	`thys/Separata/Separation_Algebra/document/root.tex`
The file was removed	`thys/Separata/Separation_Algebra/ex/Sep_Tactics_Test.thy`
The file was removed	`thys/Separata/Separation_Algebra/ex/Simple_Separation_Example.thy`
The file was removed	`thys/Separata/Separation_Algebra/ex/VM_Example.thy`
The file was removed	`thys/Separata/Separation_Algebra/ex/capDL/Abstract_Separation_D.thy`
The file was removed	`thys/Separata/Separation_Algebra/ex/capDL/Separation_D.thy`
The file was removed	`thys/Separata/Separation_Algebra/ex/capDL/Types_D.thy`
The file was removed	`thys/Separata/Separation_Algebra/sep_tactics.ML`
Changeset 7464:45999a054dd9 by paulson _lp15@cam.ac.uk_: new entry Separata
The file was added	`thys/Separata/ROOT`
The file was added	`thys/Separata/Separata/Separata.thy`
The file was added	`thys/Separata/Separation_Algebra/Map_Extra.thy`
The file was added	`thys/Separata/Separation_Algebra/README`
The file was added	`thys/Separata/Separation_Algebra/Sep_Eq.thy`
The file was added	`thys/Separata/Separation_Algebra/Sep_Heap_Instance.thy`
The file was added	`thys/Separata/Separation_Algebra/Sep_Tactics.thy`
The file was added	`thys/Separata/Separation_Algebra/Separation_Algebra.thy`
The file was added	`thys/Separata/Separation_Algebra/Separation_Algebra_Alt.thy`
The file was added	`thys/Separata/Separation_Algebra/document/root.bib`
The file was added	`thys/Separata/Separation_Algebra/document/root.tex`
The file was added	`thys/Separata/Separation_Algebra/ex/Sep_Tactics_Test.thy`
The file was added	`thys/Separata/Separation_Algebra/ex/Simple_Separation_Example.thy`
The file was added	`thys/Separata/Separation_Algebra/ex/VM_Example.thy`
The file was added	`thys/Separata/Separation_Algebra/ex/capDL/Abstract_Separation_D.thy`
The file was added	`thys/Separata/Separation_Algebra/ex/capDL/Separation_D.thy`
The file was added	`thys/Separata/Separation_Algebra/ex/capDL/Types_D.thy`
The file was added	`thys/Separata/Separation_Algebra/sep_tactics.ML`
The file was added	`thys/Separata/document/root.tex`
The file was modified	`thys/ROOTS` (diff)