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