Thursday, 5 April 2007
- Problem in definition of satisfaction, point 4 Turner, David
- Clarification of EC extension table Turner, David
- Problem in definition of satisfaction, point 5 Turner, David
- Problem in definition of satisfaction, point 1 Turner, David
- Typo in 'Interpretation of Axioms and Facts' table Turner, David
- Missing row from EC extension table Turner, David
- Typos from OWL S&AS Turner, David
Last message date: Thursday, 5 April 2007 09:57:17 UTC