equal
deleted
inserted
replaced
1 ID: $Id$ |
1 ID: $Id$ |
2 Directory: Pure/Thy |
2 Directory: Pure/Thy |
3 Author: Carsten Clasohm |
3 Author: Carsten Clasohm |
4 Copyright 1994 TU Muenchen |
4 Copyright 1994 TU Muenchen |
|
5 |
|
6 |
|
7 FIXME FIXME FIXME FIXME FIXME Warning: not quite up-to-date! |
5 |
8 |
6 |
9 |
7 Conventions for theory- and filenames: |
10 Conventions for theory- and filenames: |
8 |
11 |
9 - Files for theory T are named T.thy and T.ML where only one of these two |
12 - Files for theory T are named T.thy and T.ML where only one of these two |