diff options
| author | Thomas Kleymann | 1998-09-03 15:50:33 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-03 15:50:33 +0000 |
| commit | 6e950a19483819bab14656d866710e1233abf759 (patch) | |
| tree | 45ee4da2040ad16e3e5e399d1578857cad0e574e /coq/example.v | |
| parent | 9163e1bdfbac3150fa5c74050329cd2fab47a3f3 (diff) | |
A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,
annotations are recorded in the object file. This needs to be
changed in the SML code. (initially 2h tms)
Done. :-)
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions