src/HOL/Code_Numeral.thy
changeset 55736 f1ed1e9cd080
parent 55642 63beb38e9258
child 55945 e96383acecf9
     1.1 --- a/src/HOL/Code_Numeral.thy	Tue Feb 25 17:06:17 2014 +0000
     1.2 +++ b/src/HOL/Code_Numeral.thy	Tue Feb 25 19:07:14 2014 +0100
     1.3 @@ -928,6 +928,11 @@
     1.4  
     1.5  hide_const (open) Nat
     1.6  
     1.7 +lifting_update integer.lifting
     1.8 +lifting_forget integer.lifting
     1.9 +
    1.10 +lifting_update natural.lifting
    1.11 +lifting_forget natural.lifting
    1.12  
    1.13  code_reflect Code_Numeral
    1.14    datatypes natural = _