doc-src/Logics/LK-eg.txt
1998-07-17 paulson 1998-07-17 now with Goal cmd
1998-07-16 paulson 1998-07-16 Got rid of obsolete "goal" commands. Also inserted spaces after all periods
1993-11-10 lcp 1993-11-10 Initial revision