Wed, 18 Aug 1999 16:04:00 +0200 | wenzelm | replaced 'ProofGeneral' by 'Proof General'; | changeset | files |
Wed, 18 Aug 1999 15:40:45 +0200 | berghofe | Modified section about generation of theory browsing information. | changeset | files |
Wed, 18 Aug 1999 12:23:10 +0200 | paulson | new version from Konrad with "lazy" (deferred) definitons | changeset | files |