diff options
| author | David Aspinall | 2010-06-28 07:54:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-06-28 07:54:20 +0000 |
| commit | a4510d1973380ceeb3af221c48ae4b41249bd512 (patch) | |
| tree | a590954724da3f9a9182e922db716176a1bf6ae8 /etc/isar | |
| parent | 59760a1398dfa77be57950882f73d1e7588840e3 (diff) | |
Isabelle syntax update
Diffstat (limited to 'etc/isar')
| -rw-r--r-- | etc/isar/BigErrors.thy | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/isar/BigErrors.thy b/etc/isar/BigErrors.thy index 803fdf29..100eab6a 100644 --- a/etc/isar/BigErrors.thy +++ b/etc/isar/BigErrors.thy @@ -3,8 +3,8 @@ theory BigErrors imports Pure begin -consts foo :: 'a; -consts bar :: 'a; +consts foo :: 'a +consts bar :: 'a ML {* warning (cat_lines (List.tabulate (300,K "This is a big warning message"))); *} |