I have added the restriction on ground list in Core. Syntactically Harold and I updated the EBNF to ground lists (without variables). The semantics follows from this syntactic restriction. To make it explicit I have added a statement about ground list terms which are safe to the safeness definition. -AdrianReceived on Monday, 4 May 2009 17:01:18 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT