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

author | blanchet |

Tue, 15 Jun 2010 16:20:23 +0200 | |

changeset 37435 | ed79fa620012 |

parent 37434 | df936eadb642 |

child 37436 | 2d76997730a6 |

added missing Umlaut

--- a/src/HOL/Algebra/README.html Tue Jun 15 10:47:06 2010 +0200 +++ b/src/HOL/Algebra/README.html Tue Jun 15 16:20:23 2010 +0200 @@ -20,7 +20,7 @@ <H2>GroupTheory, including Sylow's Theorem</H2> -<P>These proofs are mainly by Florian Kammller. (Later, Larry +<P>These proofs are mainly by Florian Kammüller. (Later, Larry Paulson simplified some of the proofs.) These theories were indeed the original motivation for locales.