1.1 --- a/src/Tools/isac/ProgLang/Atools.thy	Wed Apr 04 12:41:03 2018 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Atools.thy	Wed Apr 11 14:44:46 2018 +0200
     1.3 @@ -41,6 +41,7 @@
     1.4    filter'_sameFunId:: "[real, bool list] => bool list" 
     1.5  					        ("filter'_sameFunId _ _" 10)
     1.6    boollist2sum     :: "bool list => real"
     1.7 +  lastI            :: "'a list \<Rightarrow> 'a"
     1.8  
     1.9  axiomatization where (*for evaluating the assumptions of conditional rules*)
    1.10