# HG changeset patch
# User kuncar
# Date 1321895233 -3600
# Node ID 2c0c8ce96f4a24c783acd33254d9ea5d33b57230
# Parent  13b101cee4257a6411693e581771419148913279
misspelled name

diff -r 13b101cee425 -r 2c0c8ce96f4a src/HOL/Quotient_Examples/Lift_Set.thy
--- a/src/HOL/Quotient_Examples/Lift_Set.thy	Sun Nov 20 21:28:07 2011 +0100
+++ b/src/HOL/Quotient_Examples/Lift_Set.thy	Mon Nov 21 18:07:13 2011 +0100
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Quotient_Examples/Lift_Set.thy
-    Author:     Lukas Bulwahn and Ondrey Kuncar
+    Author:     Lukas Bulwahn and Ondrej Kuncar
 *)
 
 header {* Example of lifting definitions with the quotient infrastructure *}