paulson [Mon, 10 Oct 2005 15:35:29 +0200] rev 17819
small tidy-up of utility functions
wenzelm [Mon, 10 Oct 2005 14:43:45 +0200] rev 17818
updated print_tac;
huffman [Mon, 10 Oct 2005 05:46:17 +0200] rev 17817
add names to infix declarations
huffman [Mon, 10 Oct 2005 05:30:02 +0200] rev 17816
new syntax translations for continuous lambda abstraction
huffman [Mon, 10 Oct 2005 04:38:26 +0200] rev 17815
removed Istrictify; simplified some proofs
huffman [Mon, 10 Oct 2005 04:12:31 +0200] rev 17814
added notion of compactness; shortened proof of adm_disj; reorganized and cleaned up
huffman [Mon, 10 Oct 2005 04:03:09 +0200] rev 17813
cleaned up
huffman [Mon, 10 Oct 2005 04:00:40 +0200] rev 17812
added theorem typedef_chfin
huffman [Mon, 10 Oct 2005 03:55:39 +0200] rev 17811
replaced foldr' with foldr1
huffman [Mon, 10 Oct 2005 03:47:00 +0200] rev 17810
cleaned up; renamed "Porder.op <<" to "Porder.<<"