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

last adjustments of examples before course

2007-09-12 21:03:00 +00:00

HouseEng.gf

last adjustments of examples before course

2007-09-12 21:03:00 +00:00

LexSmart.gf

last adjustments of examples before course

2007-09-12 21:03:00 +00:00

LexSmartSwe.gf

last adjustments of examples before course

2007-09-12 21:03:00 +00:00

Smart.gf

last adjustments of examples before course

2007-09-12 21:03:00 +00:00

SmartEng.gf

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

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

SmartFre.gf

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

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

SmartI.gf

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

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

SmartSwe.gf

last adjustments of examples before course

2007-09-12 21:03:00 +00:00