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