diff options
| author | cp526 | 2015-06-02 16:44:29 +0100 |
|---|---|---|
| committer | cp526 | 2015-06-02 16:44:29 +0100 |
| commit | 521ab32d3c253ade6d473737b399e8f5f93a5153 (patch) | |
| tree | 0c0d5196d26e312d36986180eca298aa7b7ff6d3 /language/l2.lem | |
| parent | 19f34a049b8c8008e2566e32932fdf262d15b0ea (diff) | |
changes to compare and equality instances to make lem generate isabelle output
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2.lem b/language/l2.lem index 16bb325e..adbb38b6 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -1,4 +1,4 @@ -(* generated by Ott 0.24 from: l2_typ.ott l2.ott *) +(* generated by Ott 0.25 from: l2_typ.ott l2.ott *) open import Pervasives open import Map |