# HG changeset patch
# User huffman
# Date 1234555569 28800
# Node ID c7328aa1b52ebb4c0498667d75bb76d1f3b32254
# Parent  97ba7a7651dec11c0f57ecbf9d772590b340141a
unset execute bit

diff -r 97ba7a7651de -r c7328aa1b52e src/HOL/Library/Formal_Power_Series.thy