diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-18 12:28:39 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-18 12:28:39 +0000 |
| commit | e36cc73b0fd6f0be4c1c8809db73f997d1484e9d (patch) | |
| tree | 62f582647418bb4d0346fc4758f4c12fcd605fef /examples/tutorial/syntax/Syntax.gf | |
| parent | 775e59dabeb6d1e15a3c1c80d7578a865121b9cf (diff) | |
in tutorial/smart remove the hack that forced the proof object to be resolved
Diffstat (limited to 'examples/tutorial/syntax/Syntax.gf')
0 files changed, 0 insertions, 0 deletions