Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added Isar/;
authorwenzelm
Mon, 09 Nov 1998 15:35:38 +0100
changeset 5833 6d8bceaa07b3
parent 5832 112a67aa9c2c
child 5834 c6fea8488ce7
added Isar/;
src/Pure/README file | annotate | diff | comparison | revisions 
--- a/src/Pure/README	Mon Nov 09 15:35:00 1998 +0100
+++ b/src/Pure/README	Mon Nov 09 15:35:38 1998 +0100
@@ -10,6 +10,7 @@
   General/	general tools
   Syntax/     	the syntax module
   Thy/          the theory file parser and loader
+  Isar/		Intelligible Semi-Automated Reasoning subsystem
   ./		the actual meta logic implementation (see ROOT.ML)
 
 Isabelle programmers may want to have a look at the following generic
isabelle