diff options
Diffstat (limited to 'lego/example.l')
| -rw-r--r-- | lego/example.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/example.l b/lego/example.l index a15ea588..52643424 100644 --- a/lego/example.l +++ b/lego/example.l @@ -1,4 +1,4 @@ -Module Walkthrough Import lib_logic; +Module example Import lib_logic; Goal and_commutes: {A,B:Prop}(and A B) -> (and B A); intros; andI; |