| changeset 69226 | 68f5dc2275ac |
| parent 69225 | bf2fecda8383 |
| child 69227 | 71b48b749836 |
| 69225:bf2fecda8383 | 69226:68f5dc2275ac |
|---|---|
1 {- GENERATED by Isabelle! -} |
1 {- GENERATED by Isabelle! -} |
2 |
|
2 {- Title: Tools/Haskell/Library.hs |
3 {- Title: Tools/Haskell/Library.hs |
3 Author: Makarius |
4 Author: Makarius |
4 LICENSE: BSD 3-clause (Isabelle) |
5 LICENSE: BSD 3-clause (Isabelle) |
5 |
6 |
6 Basic library of Isabelle idioms. |
7 Basic library of Isabelle idioms. |