Added new example files.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 15 Nov 2011 18:04:46 +0000 (18:04 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 15 Nov 2011 18:04:46 +0000 (18:04 +0000)
commit8c136cfe137f9d47a8be60b597e647cdd0ef16e8
treec34e8c4b5fd950c74bcceb46dc41cfd2e1ef038d
parenta5c0f25e3137431c73538e01b898a9ab527f81bf
Added new example files.
Examples/Core.agda [new file with mode: 0644]
Examples/Electrical.agda [new file with mode: 0644]
Examples/Mechanics.agda [new file with mode: 0644]