History log of /seL4-l4v-master/isabelle/src/HOL/ex/Case_Product.thy
Revision Date Author Comments
# 083a3cea 23-Apr-2017 wenzelm <none@none>

actually use theory;
tuned;
# ee8e8234 06-Oct-2015 wenzelm <none@none>

isabelle update_cartouches;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# 8593db48 23-Feb-2011 noschinl <none@none>

add example for case_product usage