Changes

Summary

split InformationFlowSlicing entry into two parts to better fit into session structure

Changeset 6866:6fac56753463 by kleing: split InformationFlowSlicing entry into two parts to better fit into session structure
The file was added	`thys/InformationFlowSlicing_Inter/LiftingInter.thy`
The file was added	`thys/InformationFlowSlicing_Inter/NonInterferenceInter.thy`
The file was added	`thys/InformationFlowSlicing_Inter/ROOT`
The file was added	`thys/InformationFlowSlicing_Inter/document/root.bib`
The file was added	`thys/InformationFlowSlicing_Inter/document/root.tex`
The file was added	`web/entries/InformationFlowSlicing_Inter.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/InformationFlowSlicing/ROOT` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Groebner_Bases.shtml` (diff)
The file was modified	`web/entries/HRB-Slicing.shtml` (diff)
The file was modified	`web/entries/InformationFlowSlicing.shtml` (diff)
The file was modified	`web/entries/Multivariate_Polynomials.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
The file was removed	`thys/InformationFlowSlicing/LiftingInter.thy`
The file was removed	`thys/InformationFlowSlicing/NonInterferenceInter.thy`