2 Commits

Author	SHA1	Message	Date
krasimir	e12d96451d	in tutorial/smart remove the hack that forced the proof object to be resolved	2010-10-18 12:28:39 +00:00
aarne	9b5d2fb923	last adjustments of examples before course	2007-09-12 21:03:00 +00:00