src/HOL/MacLaurin.thy
changeset 42224 578a51fae383
parent 41166 4b2a457b17e8
child 44306 33572a766836
equal deleted inserted replaced
42223:098c86e53153 42224:578a51fae383