Commit [851132] default  Maximize  Restore  History

new entry, but also checking Strong_Security in again (why??)

nipkow nipkow 2014-04-24

1 2 > >> (Page 1 of 2)
changed metadata/metadata
changed thys/ROOTS
added thys/Strong_Security/Domain_example.thy
added thys/Strong_Security/Expr.thy
added thys/Strong_Security/Language_Composition.thy
added thys/Strong_Security/MWLf.thy
added thys/Strong_Security/Parallel_Composition.thy
added thys/Strong_Security/ROOT
added thys/Strong_Security/Strong_Security.thy
added thys/Strong_Security/Strongly_Secure_Skip_Assign.thy
added thys/Strong_Security/Type_System.thy
added thys/Strong_Security/Type_System_example.thy
added thys/Strong_Security/Types.thy
added thys/Strong_Security/Up_To_Technique.thy
added thys/Strong_Security/config
added thys/Strong_Security/document/root.bib
added thys/Strong_Security/document/root.tex
added thys/WHATandWHERE_Security/Language_Composition.thy
added thys/WHATandWHERE_Security/MWLs.thy
added thys/WHATandWHERE_Security/Parallel_Composition.thy
added thys/WHATandWHERE_Security/ROOT
added thys/WHATandWHERE_Security/Type_System.thy
added thys/WHATandWHERE_Security/Type_System_example.thy
changed web/entries/Strong_Security.shtml
changed web/index.shtml
metadata/metadata Diff Switch to side-by-side view
Loading...
thys/ROOTS Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Domain_example.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Expr.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Language_Composition.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/MWLf.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Parallel_Composition.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/ROOT Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Strong_Security.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Strongly_Secure_Skip_Assign.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Type_System.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Type_System_example.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Types.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/Up_To_Technique.thy Diff Switch to side-by-side view
Loading...
thys/Strong_Security/config Diff Switch to side-by-side view
Loading...
thys/Strong_Security/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Strong_Security/document/root.tex Diff Switch to side-by-side view
Loading...
thys/WHATandWHERE_Security/Language_Composition.thy Diff Switch to side-by-side view
Loading...
thys/WHATandWHERE_Security/MWLs.thy Diff Switch to side-by-side view
Loading...
thys/WHATandWHERE_Security/Parallel_Composition.thy Diff Switch to side-by-side view
Loading...
thys/WHATandWHERE_Security/ROOT Diff Switch to side-by-side view
Loading...
thys/WHATandWHERE_Security/Type_System.thy Diff Switch to side-by-side view
Loading...
thys/WHATandWHERE_Security/Type_System_example.thy Diff Switch to side-by-side view
Loading...
web/entries/Strong_Security.shtml Diff Switch to side-by-side view
Loading...
web/index.shtml Diff Switch to side-by-side view
Loading...
1 2 > >> (Page 1 of 2)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks