paulson [Tue, 28 Mar 2006 16:48:18 +0200] rev 19334
Simplified version of Jia's filter. Now all constants are pooled, rather than
relevance being compared against separate clauses. Rejects are no longer noted,
and units cannot be added at the end.
schirmer [Tue, 28 Mar 2006 12:11:33 +0200] rev 19333
renamed map_val to map_ran
schirmer [Tue, 28 Mar 2006 12:05:45 +0200] rev 19332
added map_val, superseding map_at and substitute
----------------------------------------------------------------------
haftmann [Tue, 28 Mar 2006 10:13:51 +0200] rev 19331
some internal cleanup
paulson [Mon, 27 Mar 2006 18:10:02 +0200] rev 19330
removed illegal character codes
urbanc [Sun, 26 Mar 2006 03:22:42 +0200] rev 19329
simplified the proof at_fin_set_supp
nipkow [Sat, 25 Mar 2006 18:16:07 +0100] rev 19328
changed abbreviation for "infinite" back to translation because
something didn't work during (output).
huffman [Fri, 24 Mar 2006 19:30:01 +0100] rev 19327
lazy patterns in lambda abstractions
urbanc [Fri, 24 Mar 2006 15:59:16 +0100] rev 19326
changed the it_prm proof to work for recursion
urbanc [Fri, 24 Mar 2006 15:15:08 +0100] rev 19325
tuned some proofs