author | boehmes |
Tue, 07 Dec 2010 14:54:31 +0100 | |
changeset 41061 | 492f8fd35fc0 |
parent 32960 | 69916a850301 |
permissions | -rw-r--r-- |
(* Title: ZF/AC/ROOT.ML 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"];