changeset 33657 | a4179bf442d1 |
parent 27651 | 16a26996c30e |
child 35050 | 9f841f20dca6 |
--- a/src/HOL/Import/HOL/divides.imp Thu Nov 12 14:32:21 2009 -0800 +++ b/src/HOL/Import/HOL/divides.imp Fri Nov 13 14:14:04 2009 +0100 @@ -16,7 +16,7 @@ "DIVIDES_MULT" > "Divides.dvd_mult2" "DIVIDES_LE" > "Divides.dvd_imp_le" "DIVIDES_FACT" > "HOL4Base.divides.DIVIDES_FACT" - "DIVIDES_ANTISYM" > "Divides.dvd_anti_sym" + "DIVIDES_ANTISYM" > "Divides.dvd_antisym" "DIVIDES_ADD_2" > "HOL4Base.divides.DIVIDES_ADD_2" "DIVIDES_ADD_1" > "Ring_and_Field.dvd_add" "ALL_DIVIDES_0" > "Divides.dvd_0_right"