--- a/src/HOL/Library/Library.thy Sat Jan 02 22:50:09 2021 +0100 +++ b/src/HOL/Library/Library.thy Sat Jan 02 23:03:47 2021 +0100 @@ -1,4 +1,4 @@ - (*<*) +(*<*) theory Library imports AList