3 Commits

Author	SHA1	Message	Date
aarne	81a93979ad	refreshed the tutorial	2008-10-01 13:13:10 +00:00
aarne	55f387d067	semantics extended to questions	2007-10-20 09:51:26 +00:00
aarne	2fb6c59444	two versions of semantics (the Logic version incomplete)	2007-10-19 22:12:30 +00:00