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