Index of /stehr/occ-maude/examples

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 advanced-typecheckin..> 10-Nov-2003 14:24  1.1K  
 and-symmetry.occ        10-Nov-2003 18:20  261   
 assoc.occ               11-Nov-2003 16:16  1.4K  
 auto.occ                11-Nov-2003 11:19  249   
 automata.occ            11-Nov-2003 11:20  338   
 bool-proof.occ          10-Nov-2003 17:34  363   
 bool.occ                10-Nov-2003 14:32  129   
 classic.occ             06-Apr-2003 13:20   56   
 clist-proof.occ         11-Nov-2003 11:21  467   
 clist.occ               10-Nov-2003 14:34  248   
 composition.occ         10-Nov-2003 14:34  1.1K  
 deduction-theorem.occ   10-Nov-2003 14:37  2.5K  
 depunion.occ            11-Nov-2003 16:17  1.5K  
 equational-typecheck..> 10-Nov-2003 14:39  235   
 eta-conversion.occ      10-Nov-2003 14:39  381   
 fact-impl.occ           10-Nov-2003 14:39  1.4K  
 fact-spec.occ           20-Feb-2004 10:48  696   
 finite_multiset.occ     11-Nov-2003 11:22  555   
 finite_set.occ          11-Nov-2003 11:22  506   
 flag-classic-coinduc..> 11-Nov-2003 11:24  952   
 flag-intuit-coinduct..> 11-Nov-2003 11:24  1.8K  
 flag.occ                10-Nov-2003 14:43  758   
 hoas-hol.occ            10-Nov-2003 18:14  2.7K  
 horn.occ                10-Nov-2003 14:45  1.4K  
 implies-transitivity..> 10-Nov-2003 14:45  232   
 lego-logic.occ          10-Nov-2003 14:46  6.6K  
 lib/                    19-Feb-2004 15:47    -   
 list-algebra.occ        11-Nov-2003 16:19  1.5K  
 list.occ                11-Nov-2003 11:25  385   
 lists.occ               11-Nov-2003 11:27  3.3K  
 logic.occ               05-Oct-1999 08:30   37   
 modulo-rewriting.occ    10-Nov-2003 14:49  368   
 monoid.occ              11-Nov-2003 11:30  2.4K  
 name-clash.occ          11-Nov-2003 16:14  330   
 nat-assertions.occ      11-Nov-2003 11:30  1.2K  
 nat-proof.occ           10-Nov-2003 14:51  333   
 nat.occ                 10-Nov-2003 14:53  120   
 non-transitivity.occ    11-Nov-2003 11:31  498   
 normalizing-equation..> 11-Nov-2003 11:31  465   
 operational-theorems..> 11-Nov-2003 11:32  512   
 path.occ                11-Nov-2003 11:33  2.5K  
 plus-is-commutative.occ 11-Nov-2003 11:37  649   
 sorting.occ             11-Nov-2003 16:23   13K  
 stream-coinduction.occ  11-Nov-2003 11:37  843   
 stream.occ              11-Nov-2003 11:38  1.6K  
 subtyping.occ           11-Nov-2003 11:39  591   
 sum.occ                 10-Nov-2003 17:22  284   
 universe-polymorphis..> 10-Nov-2003 17:25  284