Index of /~holmes/marcelstuff

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]joannatest.psc05-Feb-2007 12:48 811K 
[   ]joannaproofs.mlg23-Jan-2007 10:07 567K 
[   ]marcelsequent.sml09-Apr-2007 14:43 325K 
[   ]marcel2.sml06-Jan-2017 17:51 260K 
[   ]marcel.sml15-Oct-2015 14:06 260K 
[   ]marcel387.sml03-Mar-2009 19:54 252K 
[   ]marcel09.sml15-Dec-2010 14:00 252K 
[   ]marcelmanual.pdf02-Dec-2015 16:48 231K 
[   ]marcellabmanual.synctex.gz02-Dec-2015 22:24 227K 
[   ]marcellabmanual.pdf26-Jan-2017 10:50 225K 
[   ]JoannaThesis.pdf20-Jun-2007 13:05 219K 
[TXT]pythonmarcel.py20-Feb-2017 11:18 195K 
[   ]pythonmarceldocs.pdf19-Nov-2015 19:18 187K 
[TXT]pythonmarcelb.py13-Feb-2017 08:30 173K 
[TXT]pythonmarcel3pt4.py10-Feb-2017 16:46 169K 
[TXT]pythonmarcel_complex_binders_draft.py06-Feb-2017 11:18 157K 
[TXT]pythonmarcelclassdraft.py07-Feb-2017 21:17 148K 
[TXT]pythonmarcelnoclasses282017.py06-Feb-2017 18:02 147K 
[TXT]pythonmarcel-nobinders-2-6-17.py04-Feb-2017 17:29 133K 
[TXT]pythonmarcel-2-2-17.py02-Feb-2017 10:18 131K 
[   ]marcelmanual.dvi06-Feb-2008 17:14 123K 
[   ]minimalframework.pdf16-May-2013 08:34 114K 
[TXT]pythonmarcel-1-25-first.py25-Jan-2017 13:13 109K 
[   ]pythonmarceldocs.tex19-Nov-2015 19:18 105K 
[   ]marcelmanual.tex15-Oct-2015 14:31 93K 
[TXT]pythonmarcel-12-4.py03-Dec-2015 22:56 91K 
[TXT]autoprune.py02-Dec-2015 13:13 87K 
[   ]marcellabmanual.tex26-Jan-2017 10:50 73K 
[TXT]privateguild.txt10-Jan-2007 17:01 51K 
[TXT]guildproject.txt01-Feb-2007 21:44 46K 
[   ]myautomath.sml14-May-2013 15:31 37K 
[IMG]M275Su2013syllabus_html_54c527f6.gif05-Jul-2013 17:37 34K 
[TXT]bussproofs.sty03-Jan-2007 21:57 32K 
[TXT]landau2.txt14-Aug-2007 19:58 28K 
[   ]minimalframework.tex14-May-2013 16:46 18K 
[TXT]SQRT28.txt19-Jan-2007 14:44 17K 
[TXT]defaultlog.txt03-Dec-2015 21:06 16K 
[TXT]guildpfs.txt01-Feb-2007 21:44 15K 
[TXT]SQRT33.txt01-Feb-2007 21:44 14K 
[   ]joannatest.thy305-Feb-2007 12:48 13K 
[TXT]settheory.txt22-Jun-2007 14:42 12K 
[   ]privateguild.mlg08-Jan-2007 16:23 11K 
[   ]3pt4clean.py10-Feb-2017 18:29 11K 
[   ]marcelmanual.log02-Dec-2015 16:48 11K 
[TXT]SQRTlemmas.txt01-Feb-2007 22:21 10K 
[   ]arithdraft.py14-Feb-2017 17:07 10K 
[   ]3pt4fixed.py17-Feb-2017 00:23 9.9K 
[   ]marcellabmanual.log02-Dec-2015 22:24 8.5K 
[   ]comparison.tex25-Jan-2017 13:14 8.4K 
[TXT]marcel.html26-Jan-2017 15:26 7.3K 
[   ]3pt4logfile.py09-Feb-2017 23:35 6.4K 
[   ]arithtocommcleanb.py13-Feb-2017 08:44 5.4K 
[   ]arithtocommclean.py13-Feb-2017 08:42 5.4K 
[   ]arithtocommutativity.py18-Feb-2017 13:17 5.3K 
[   ]cardinals7logfile.py10-Dec-2015 21:41 5.1K 
[   ]cardinals6logfile.py10-Dec-2015 21:47 4.8K 
[   ]fregemarcellogfile.py02-Dec-2015 22:34 4.6K 
[   ]fregetestlogfile.py02-Dec-2015 22:34 4.5K 
[TXT]marcelmanual.aux02-Dec-2015 16:48 4.2K 
[   ]joannatest.thy105-Feb-2007 12:48 3.4K 
[TXT]marcelmanual.toc06-Feb-2008 17:14 3.2K 
[   ]arith-to-commutativity.py04-Dec-2015 18:29 3.0K 
[   ]marcellabmanual.aux02-Dec-2015 22:24 2.9K 
[TXT]inductionfile.txt09-Mar-2007 14:50 2.6K 
[TXT]fregemarcel.py25-Nov-2015 14:00 2.6K 
[TXT]renamedstewartexamples.txt03-Jul-2007 18:51 2.4K 
[   ]marcellabmanual.toc02-Dec-2015 22:24 2.3K 
[   ]arith6logfile.py04-Dec-2015 15:32 2.2K 
[   ]poweroflogiclogfile.py13-Feb-2017 13:24 2.1K 
[   ]arith5logfile.py04-Dec-2015 15:09 2.0K 
[TXT]logicbook.txt13-May-2013 17:21 1.8K 
[   ]Phil209test3logfile.py04-Dec-2015 11:38 1.4K 
[   ]joannatest.thy205-Feb-2007 12:48 1.4K 
[TXT]marcellab2.txt24-Feb-2017 11:26 1.4K 
[TXT]testlines.txt13-May-2013 17:19 1.4K 
[   ]pairloglogfile.py02-Feb-2017 10:40 1.3K 
[   ]arith3logfile.py04-Dec-2015 14:12 1.3K 
[   ]arith4logfile.py03-Dec-2015 21:06 1.3K 
[   ]marcellab1.py24-Nov-2015 18:52 1.3K 
[   ]pairlog2logfile.py13-Feb-2017 12:50 1.1K 
[   ]marcelgrammar.peg02-Jul-2013 16:29 1.0K 
[   ]arithlogfile.py02-Dec-2015 22:29 702  
[   ]newtestlogfile.py02-Dec-2015 22:35 592  
[   ]arith2logfile.py02-Dec-2015 22:29 575  
[   ]Natinductive.mlg15-Apr-2015 14:17 551  
[   ]testinglogfile.py30-Nov-2015 13:26 453  
[   ]problem9.4B18logfile.py02-Dec-2015 22:35 303  
[   ]unioncommlogfile.py07-Feb-2017 10:49 297  
[   ]singletonprooflogfile.py07-Feb-2017 10:55 271  
[   ]matchtestlogfile.py02-Dec-2015 22:36 265  
[   ]scouttestlogfile.py08-Feb-2017 21:38 261  
[   ]glgrtestlogfile.py02-Dec-2015 12:18 247  
[   ]test2logfile.py02-Dec-2015 12:18 214  
[   ]test3logfile.py02-Dec-2015 12:31 203  
[TXT]donelogfile.py03-Dec-2015 21:06 0  
[DIR]guildfiles/22-Jun-2007 15:03 -  
[DIR]baileyfiles/09-Apr-2007 14:08 -  

Apache/2.2.15 (CentOS) Server at math.boisestate.edu Port 80