new files IntDiv.{thy,ML}
authorpaulson
Thu Jul 08 13:35:33 1999 +0200 (1999-07-08)
changeset 69136607f9937146
parent 6912 6721243019e7
child 6914 ad689270a265
new files IntDiv.{thy,ML}
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Wed Jul 07 00:15:06 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jul 08 13:35:33 1999 +0200
     1.3 @@ -46,8 +46,9 @@
     1.4    Calculation.thy Datatype.thy Divides.ML Divides.thy Finite.ML \
     1.5    Finite.thy Fun.ML Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy \
     1.6    Inductive.thy Integ/Bin.ML Integ/Bin.thy Integ/Equiv.ML \
     1.7 -  Integ/Equiv.thy Integ/IntDef.ML Integ/IntDef.thy Integ/Int.ML \
     1.8 -  Integ/Int.thy Integ/simproc.ML Lfp.ML Lfp.thy List.ML List.thy \
     1.9 +  Integ/Equiv.thy Integ/IntDef.ML Integ/IntDef.thy \
    1.10 +  Integ/Int.ML Integ/Int.thy Integ/IntDiv.ML Integ/IntDiv.thy \
    1.11 +  Integ/simproc.ML Lfp.ML Lfp.thy List.ML List.thy \
    1.12    Main.thy Map.ML Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy \
    1.13    Numeral.thy Option.ML Option.thy Ord.ML Ord.thy Power.ML Power.thy \
    1.14    Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy \