3 Commits

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