unused

--- a/src/HOL/List.thy	Tue May 29 22:29:32 2018 +0200
+++ b/src/HOL/List.thy	Wed May 30 13:44:53 2018 +0200
@@ -429,7 +429,6 @@
   (*"_lc_let" :: "letbinds => lc_qual"  ("let _")*)
   "_lc_end" :: "lc_quals" ("]")
   "_lc_quals" :: "lc_qual \<Rightarrow> lc_quals \<Rightarrow> lc_quals"  (", __")
-  "_lc_abs" :: "'a => 'b list => 'b list"
 
 syntax (ASCII)
   "_lc_gen" :: "'a \<Rightarrow> 'a list \<Rightarrow> lc_qual"  ("_ <- _")