author | haftmann |
Tue, 29 Jul 2008 14:07:23 +0200 | |
changeset 27694 | 31a8e0908b9f |
parent 23912 | 039ae566a4a2 |
child 32960 | 69916a850301 |
permissions | -rw-r--r-- |
(* Title: ZF/AC/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1995 University of Cambridge Proofs of AC-equivalences, due to Krzysztof Grabczewski. *) use_thys ["WO6_WO1", "WO1_WO7", "AC7_AC9", "WO1_AC", "AC15_WO6", "WO2_AC16", "AC16_WO4", "AC17_AC1", "AC18_AC19", "DC"];