Index of /~ulfn/darcs/Agda2/examples/outdated-and-incorrect/tactics/bool

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]All.agda 2009-06-08 09:56 1.2K 
[ ]Bool.agda 2009-06-08 09:56 2.2K 
[ ]Vec.agda 2009-06-08 09:56 444