Revert "Fixed the broken repo (excess files)."
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 14 Jul 2010 14:28:00 +0000 (15:28 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 14 Jul 2010 14:28:00 +0000 (15:28 +0100)
commit447c52a0c3569c16987c3abd3d13cab5408d5f0d
tree0ab39ac6ef47d21a1f6dcc044e134a853ef43f09
parent3bceec9b87f72190290c60e644861032775ef0ca
Revert "Fixed the broken repo (excess files)."

This reverts commit 3bceec9b87f72190290c60e644861032775ef0ca.
20 files changed:
Agda/Assump.agda [new file with mode: 0644]
Agda/Either.agda [new file with mode: 0755]
Agda/Infer.agda [new file with mode: 0644]
Agda/ListUtil.agda [new file with mode: 0644]
Agda/Monad.agda [new file with mode: 0644]
Agda/README.agda [new file with mode: 0644]
Agda/Scheme.agda [new file with mode: 0644]
Agda/Subst.agda [new file with mode: 0755]
Agda/Terms.agda [new file with mode: 0755]
Agda/Types.agda [new file with mode: 0755]
Assump.agda [new file with mode: 0644]
Either.agda [new file with mode: 0755]
Infer.agda [new file with mode: 0644]
ListUtil.agda [new file with mode: 0644]
Monad.agda [new file with mode: 0644]
README.agda [new file with mode: 0644]
Scheme.agda [new file with mode: 0644]
Subst.agda [new file with mode: 0755]
Terms.agda [new file with mode: 0755]
Types.agda [new file with mode: 0755]