summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | huffman |

Wed, 09 Apr 2008 05:44:14 +0200 | |

changeset 26586 | a2255b130fd9 |

parent 26585 | 3bf2ebb7148e |

child 26587 | 58fb6e033c00 |

fix spelling

--- 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 *}