src/HOL/IMP/Abs_Int_init.thy
author paulson <lp15@cam.ac.uk>
Mon May 23 15:33:24 2016 +0100 (2016-05-23)
changeset 63114 27afe7af7379
parent 53013 3fbcfa911863
child 66453 cc19f7ca2ed6
permissions -rw-r--r--
Lots of new material for multivariate analysis
     1 theory Abs_Int_init
     2 imports "~~/src/HOL/Library/While_Combinator"
     3         "~~/src/HOL/Library/Extended"
     4         Vars Collecting Abs_Int_Tests
     5 begin
     6 
     7 hide_const (open) top bot dom  --"to avoid qualified names"
     8 
     9 end