| Wed, 23 Mar 2011 12:17:30 +0000 | urbanc | added the most current versions of the theories. | file | diff | annotate |
| Tue, 25 Jan 2011 12:14:31 +0000 | zhang | 1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML | file | diff | annotate |