| author | paulson |
| Tue, 02 Apr 2002 14:28:28 +0200 | |
| changeset 13075 | d3e1d554cd6d |
| parent 11641 | 0c248bed5225 |
| child 14288 | d149e3cbdb39 |
| permissions | -rw-r--r-- |
|
3120
c58423c20740
New directory to contain examples of (co)inductive definitions
paulson
parents:
diff
changeset
|
1 |
|
|
11046
b5f5942781a0
Induct: converted some theories to new-style format;
wenzelm
parents:
10876
diff
changeset
|
2 |
time_use_thy "Mutil"; |
|
b5f5942781a0
Induct: converted some theories to new-style format;
wenzelm
parents:
10876
diff
changeset
|
3 |
time_use_thy "Term"; |
|
b5f5942781a0
Induct: converted some theories to new-style format;
wenzelm
parents:
10876
diff
changeset
|
4 |
time_use_thy "ABexp"; |
|
b5f5942781a0
Induct: converted some theories to new-style format;
wenzelm
parents:
10876
diff
changeset
|
5 |
time_use_thy "Tree"; |
| 11641 | 6 |
time_use_thy "Ordinals"; |
| 10876 | 7 |
time_use_thy "Sigma_Algebra"; |
|
3120
c58423c20740
New directory to contain examples of (co)inductive definitions
paulson
parents:
diff
changeset
|
8 |
time_use_thy "Comb"; |
|
c58423c20740
New directory to contain examples of (co)inductive definitions
paulson
parents:
diff
changeset
|
9 |
time_use_thy "PropLog"; |
|
c58423c20740
New directory to contain examples of (co)inductive definitions
paulson
parents:
diff
changeset
|
10 |
time_use_thy "SList"; |
|
c58423c20740
New directory to contain examples of (co)inductive definitions
paulson
parents:
diff
changeset
|
11 |
time_use_thy "LFilter"; |