https://isabelle.in.tum.de/repos/isabelle/ en-us isabelle: doc-src/Logics/LK-eg.txt history doc-src/Logics/LK-eg.txt revision history now with Goal cmd https://isabelle.in.tum.de/repos/isabelle/log/51bd3cd9ee85/doc-src/Logics/LK-eg.txt paulson Fri, 17 Jul 1998 10:49:19 +0200 Got rid of obsolete "goal" commands. https://isabelle.in.tum.de/repos/isabelle/log/1e944fe5ce96/doc-src/Logics/LK-eg.txt Also inserted spaces after all periods]]> paulson Thu, 16 Jul 1998 11:50:01 +0200 Initial revision https://isabelle.in.tum.de/repos/isabelle/log/d8205bb279a7/doc-src/Logics/LK-eg.txt lcp Wed, 10 Nov 1993 05:00:57 +0100