pristine:53f75ec9c2681ac9cbaedb019442b0af8e8e78ca8c9617e67d7867b5bdcb7709 [A formalisation of CBS. Nils Anders Danielsson **20100907125431 Ignore-this: f1eb96c0886b4807c6c40cbedd1cfcfa ] hash: 0000004466-5f0fad874973197d5dcf0a13619146fe842a63262967d6e17c3f1082f6c94ece [Added a README file. Nils Anders Danielsson **20100907125729 Ignore-this: 745e83500d7a375f453a16f4cb3db249 ] hash: 0000000466-760edc72fd761a261606bb753b6899ed2c5c6e86721224d27c1ca4edd8783cc4 [Updated code to reflect changes to library API. Nils Anders Danielsson **20120229085925 Ignore-this: f1d52d21fe0042eb4eae5316220c0ee0 ] hash: 0000000551-8d429f80da6dfa0bfdd956a0769f68eec316657e603c748939546a66b5359287 [Made the code build using a recent version of Agda. Nils Anders Danielsson **20161208093055 Ignore-this: 3bb21beefb714388dcc11aa5594c2f59 ] hash: 0000000208-c0343b80f17fa109e4022a8d2b13530d11c0364bba4fbe02f1a0f7bf56f55cd9 [Added a .agda-lib file. Nils Anders Danielsson **20161208093106 Ignore-this: 2f22d7600f468f844b8673701a0d9b55 ] hash: 0000000241-c8a9619984a2ef5ad48aab0b96f5a84266c53e2bb4c1c55c6d8a947d017c04ae