https://isabelle.in.tum.de/repos/isabelle/ en-us isabelle: edits.txt history edits.txt revision history Initial revision https://isabelle.in.tum.de/repos/isabelle/log/a5a9c433f639/edits.txt clasohm Thu, 16 Sep 1993 12:20:38 +0200