# HG changeset patch
# User huffman
# Date 1207712654 -7200
# Node ID a2255b130fd9f836989c521976f35f92be25f423
# Parent  3bf2ebb7148e9b169d5ec0b4f7eb043435c4ea0d
fix spelling

diff -r 3bf2ebb7148e -r a2255b130fd9 src/HOL/Library/Heap.thy
--- a/src/HOL/Library/Heap.thy	Wed Apr 09 05:31:04 2008 +0200
+++ b/src/HOL/Library/Heap.thy	Wed Apr 09 05:44:14 2008 +0200
@@ -134,7 +134,7 @@
 
 text {*
   References and arrays are developed in parallel,
-  but keeping them seperate makes some later proofs simpler.
+  but keeping them separate makes some later proofs simpler.
 *}
 
 subsubsection {* Primitive operations *}