Index of /stehr/occ-prolog/examples

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 advanced-typecheckin..> 22-Jul-2004 22:19  1.1K  
 and-symmetry.occ        19-May-2004 20:32  262   
 assoc.occ               19-May-2004 20:32  1.4K  
 auto.occ                19-May-2004 20:32  249   
 automata.occ            19-May-2004 20:32  338   
 bool-proof.occ          22-Jul-2004 22:19  365   
 bool.occ                19-May-2004 20:32  129   
 classic.occ             19-May-2004 20:32   56   
 clist-proof.occ         19-May-2004 20:32  467   
 clist.occ               19-May-2004 20:32  248   
 composition.occ         25-Aug-2004 11:54  1.2K  
 deduction-theorem.occ   22-Jul-2004 22:19  2.5K  
 depunion.occ            25-Aug-2004 10:11  1.5K  
 equational-typecheck..> 19-May-2004 20:32  231   
 eta-conversion.occ      19-May-2004 20:32  381   
 examples.occ            07-Sep-2004 22:01  2.1K  
 examples/               09-Sep-2004 11:40    -   
 fact-impl.occ           22-Jul-2004 22:19  1.4K  
 fact-spec.occ           19-May-2004 20:32  681   
 finite_multiset.occ     19-May-2004 20:32  551   
 finite_set.occ          19-May-2004 20:32  502   
 flag-classic-coinduc..> 07-Sep-2004 22:09  951   
 flag-intuit-coinduct..> 07-Sep-2004 22:09  1.8K  
 flag.occ                19-May-2004 20:32  758   
 hoas-hol.occ            19-May-2004 20:32  2.7K  
 horn.occ                19-May-2004 20:32  1.4K  
 implies-transitivity..> 19-May-2004 20:32  232   
 lego-logic.occ          30-Jun-2004 19:19  6.6K  
 lib/                    10-Sep-2004 12:57    -   
 list-algebra.occ        22-Jul-2004 22:19  1.5K  
 list.occ                19-May-2004 20:32  385   
 lists.occ               22-Aug-2004 14:35  3.4K  
 logic.occ               19-May-2004 20:32   37   
 modulo-rewriting.occ    19-May-2004 20:32  364   
 monoid.occ              19-May-2004 20:32  2.4K  
 name-clash.occ          19-May-2004 20:32  330   
 nat-assertions.occ      18-Aug-2004 19:05  1.1K  
 nat-proof.occ           30-Jun-2004 19:19  333   
 nat.occ                 23-Aug-2004 10:41  120   
 non-transitivity.occ    22-Jul-2004 22:19  498   
 normalizing-equation..> 22-Jul-2004 22:19  465   
 operational-theorems..> 19-May-2004 20:32  512   
 path.occ                26-Jul-2004 21:43  2.5K  
 plus-is-commutative.occ 19-May-2004 20:32  649   
 sorting.occ             09-Sep-2004 11:40   13K  
 stream-coinduction.occ  07-Sep-2004 22:09  852   
 stream.occ              19-May-2004 20:32  1.6K  
 subtyping.occ           22-Jul-2004 22:20  592   
 sum.occ                 19-May-2004 20:32  284   
 universe-polymorphis..> 22-Jul-2004 22:19  133