--- a/Pearl-jv/document/root.tex	Fri Oct 08 23:53:51 2010 +0100
+++ b/Pearl-jv/document/root.tex	Tue Oct 12 10:07:48 2010 +0100
@@ -37,7 +37,8 @@
 unified atom type and that represents permutations by bijective functions from
 atoms to atoms. Interestingly, we allow swappings, which are permutations
 build from two atoms, to be ill-sorted.  Furthermore we extend the nominal
-logic work with names that carry additional information.
+logic work with names that carry additional information and with abstractions
+that bind finite sets of names.
 \end{abstract}
 
 % generated text of all theories