http://www.w3.org/Bugs/Public/show_bug.cgi?id=1804 simeon@us.ibm.com changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED ------- Additional Comments From simeon@us.ibm.com 2006-02-21 19:31 ------- #1 Notation // Fixed. #2 Notation / rule 1 / judgment_form_declaration 1 // Removed the unnecessary statEnv in those judgments. #3 Sem / rule 4 // Fixed. #4 Sem / rule 8 / conclusion // Fixed #5 Sem / rule 9 / conclusion. Looking at the grammar in 2.3.1 Formal values a simple value is indeed a value. - JeromeReceived on Tuesday, 21 February 2006 19:31:28 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:10 UTC