Index of /~jve/demo

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 ActEpist.hs             05-Sep-2005 17:15   21K  
 Caps.hs                 05-Sep-2005 17:15  752   
 Cards.hs                05-Sep-2005 17:15  944   
 DEMO.hs                 05-Sep-2005 17:15  816   
 DEMO.pdf                07-Sep-2005 11:22  556K  
 DPLL.hs                 05-Sep-2005 17:15  5.5K  
 DiningCrypt.hs          05-Sep-2005 17:15  1.4K  
 Display.hs              05-Sep-2005 17:15   10K  
 Main.hs                 05-Sep-2005 17:15   54   
 MinAE.hs                05-Sep-2005 17:15  1.6K  
 MinBis.hs               05-Sep-2005 17:15  3.3K  
 Models.hs               05-Sep-2005 17:15  3.0K  
 Muddy.hs                05-Sep-2005 17:15  670   
 ParComm.hs              05-Sep-2005 17:15  2.7K  
 PublSecr.hs             05-Sep-2005 17:15  218   
 README                  05-Sep-2005 17:26  891   
 RussianCards.hs         05-Sep-2005 17:15  3.6K  
 SNP.hs                  05-Sep-2005 17:15  2.0K  
 SecCom.hs               05-Sep-2005 17:15  546   
 Semantics.hs            05-Sep-2005 17:15  8.1K  
 SumProduct.hs           05-Sep-2005 17:15  1.4K  
 SumSumSquares.hs        07-Sep-2005 11:22  2.0K  
 UpdateSem.hs            05-Sep-2005 17:15  363   
 demo-devel.tar          14-Jan-2008 14:42   16M