diff options
| author | Pierre Courtieu | 2006-09-07 17:25:33 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-07 17:25:33 +0000 |
| commit | a23ca01c680d2cf63de8b008ec44b8cbacf5f89e (patch) | |
| tree | 695aae79697766e83330f5123542bb0194df918c /isa/Example.thy | |
| parent | 6d73195f7b3e976f2df62d13f029f55558cde5fd (diff) | |
Added Goal as a goal starter in syntax db.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions