4 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
krasimir	cf8f0f089f	fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely	2010-07-07 10:12:08 +00:00
aarne	c5c6d13546	changed names of resource-1.3; added a note on homepage on release	2008-06-25 16:54:35 +00:00
aarne	9b5d2fb923	last adjustments of examples before course	2007-09-12 21:03:00 +00:00