Index of /~holmes/marcelstuff

Icon  Name                       Last modified      Size  Description
[DIR] Parent Directory - [   ] JoannaThesis.pdf 20-Jun-2007 13:05 219K [TXT] SQRT28.txt 19-Jan-2007 14:44 17K [TXT] SQRT33.txt 01-Feb-2007 21:44 14K [TXT] SQRTlemmas.txt 01-Feb-2007 22:21 10K [DIR] baileyfiles/ 09-Apr-2007 14:08 - [TXT] bussproofs.sty 03-Jan-2007 21:57 32K [DIR] guildfiles/ 22-Jun-2007 15:03 - [TXT] guildpfs.txt 01-Feb-2007 21:44 15K [TXT] guildproject.txt 01-Feb-2007 21:44 46K [TXT] inductionfile.txt 09-Mar-2007 14:50 2.6K [   ] joannaproofs.mlg 23-Jan-2007 10:07 567K [   ] joannatest.psc 05-Feb-2007 12:48 811K [   ] joannatest.thy1 05-Feb-2007 12:48 3.4K [   ] joannatest.thy2 05-Feb-2007 12:48 1.4K [   ] joannatest.thy3 05-Feb-2007 12:48 13K [TXT] landau2.txt 14-Aug-2007 19:58 28K [TXT] marcel.html 15-Dec-2010 14:34 4.6K [TXT] marcel.sml 08-Sep-2011 14:57 257K [TXT] marcel09.sml 15-Dec-2010 14:00 252K [TXT] marcel387.sml 03-Mar-2009 19:54 252K [TXT] marcelmanual.aux 06-Feb-2008 17:14 4.1K [   ] marcelmanual.dvi 06-Feb-2008 17:14 123K [   ] marcelmanual.log 06-Feb-2008 17:14 8.2K [   ] marcelmanual.pdf 08-Sep-2011 14:01 231K [   ] marcelmanual.tex 08-Sep-2011 14:01 91K [TXT] marcelmanual.toc 06-Feb-2008 17:14 3.2K [TXT] marcelsequent.sml 09-Apr-2007 14:43 325K [   ] privateguild.mlg 08-Jan-2007 16:23 11K [TXT] privateguild.txt 10-Jan-2007 17:01 51K [TXT] renamedstewartexamples.txt 03-Jul-2007 18:51 2.4K [TXT] settheory.txt 22-Jun-2007 14:42 12K
Apache/2.0.52 (CentOS) Server at diamond.boisestate.edu Port 80