krasimir e36cc73b0f in tutorial/smart remove the hack that forced the proof object to be resolved

2010-10-18 12:28:39 +00:00

..

House.gf

…

HouseEng.gf

…

LexSmart.gf

…

LexSmartSwe.gf

…

Smart.gf

…

SmartEng.gf

…

SmartFre.gf

…

SmartI.gf

…

SmartSwe.gf

…