(*<*) (* Title: Theory DataDependenciesConcreteValues.thy Author: Maria Spichkova <maria.spichkova at rmit.edu.au>, 2014 *) (*>*) section "Case Study: Definitions" theory DataDependenciesConcreteValues imports Main begin