diff options
author | 2001-08-28 15:53:17 +0000 | |
---|---|---|
committer | 2001-08-28 15:53:17 +0000 | |
commit | 2bf4a7f0b3cf660c6b215a3e49d80115409e192e (patch) | |
tree | 44aa3864c49b9815d7a485a8120609168a7740b2 /demoisa | |
parent | eef850dfb660ad59a4d25fce00dc322942a44a83 (diff) |
Change of proof span type back to goalsave
Diffstat (limited to 'demoisa')
0 files changed, 0 insertions, 0 deletions