2 Commits

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