3 Commits

Include renames

Author	SHA1	Message	Date
aarne	12fb02bf75	tutorial semantics example works except one rul	2008-06-20 10:38:03 +00:00
aarne	1ba825e75b	restored Symbolic in 1.4, moved to mathematical; Int and Float don't work properly	2008-06-20 10:12:50 +00:00
aarne	a905625945	restored mathematical in 1.4; forgave some lock fields in overload resolution	2008-06-20 09:21:52 +00:00