Added paragraph to user's guide about Nominal role for Set
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 21 Aug 2013 02:41:04 +0000 (22:41 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 21 Aug 2013 02:41:04 +0000 (22:41 -0400)
commit82bbc3864ff608879cffbe0d2a4a2f8cb4ef4604
tree09e438b50658c6f007d0b5214415fca65feded7e
parent8d7272b51b799ffb56e1ac51488e018c73388013
Added paragraph to user's guide about Nominal role for Set
docs/users_guide/glasgow_exts.xml