11
10
Copyright (c) 2001, Koen Claessen, John Hughes
12
11
Copyright (c) 2001, Andy Gill
13
12
Copyright 2004, The University Court of the University of Glasgow
16
16
BSD licenced. The complete text of the BSD license can be found in
17
17
/usr/share/common-licenses/BSD on Debian systems.