(* Title: Value-Dependent SIFUM-Type-Systems Authors: Toby Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah (Based on the SIFUM-Type-Systems AFP entry, whose authors are: Sylvia Grewe, Heiko Mantel, Daniel Schoepe) *) section ‹Language for Instantiating the SIFUM-Security Property› theory Language imports Preliminaries begin subsection ‹Syntax›