diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-03 14:39:46 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-04 17:35:58 +0100 |
| commit | b0dc4e0291774f39a6e76e1f09cacc47986cd4a1 (patch) | |
| tree | 6a412f118531a421fd7a51a14a89dbfff5983b90 /pretyping/detyping.mli | |
| parent | 0ea9b2f2a972d49844a6e784d2cf19feb4dc7636 (diff) | |
STM: fix Show Script
Diffstat (limited to 'pretyping/detyping.mli')
0 files changed, 0 insertions, 0 deletions