equal
deleted
inserted
replaced
1 {- GENERATED by Isabelle! -} |
1 {- generated by Isabelle -} |
2 |
2 |
3 {- Title: Tools/Haskell/Library.hs |
3 {- Title: Tools/Haskell/Library.hs |
4 Author: Makarius |
4 Author: Makarius |
5 LICENSE: BSD 3-clause (Isabelle) |
5 LICENSE: BSD 3-clause (Isabelle) |
6 |
6 |