Index of /people/tg75/cade/results/msets/auto
      Name                          Last modified       Size  Description

[DIR] Parent Directory 10-Feb-2015 10:54 - [TXT] auto_MSetRBT_results 25-Jan-2015 20:37 3k [TXT] auto_MSetGenTree_results 25-Jan-2015 20:23 2k [TXT] auto_MSetAVL_results 25-Jan-2015 19:59 0k [TXT] auto_MSetProperties_results 19-Jan-2015 18:30 5k [TXT] auto_MSetToFiniteSet_results 19-Jan-2015 17:59 1k [TXT] auto_MSetWeakList_results 19-Jan-2015 17:59 1k [TXT] auto_MSetPositive_results 19-Jan-2015 17:25 2k [TXT] auto_MSetList_results 19-Jan-2015 17:24 2k [TXT] auto_MSetFacts_results 19-Jan-2015 17:22 2k [TXT] auto_MSetEqProperties_results 19-Jan-2015 17:19 4k [TXT] auto_MSetDecide_results 19-Jan-2015 17:09 1k

Apache/1.3.34 Server at www.cs.le.ac.uk Port 80