author | kleing |
Wed, 07 Jan 2004 07:52:12 +0100 | |
changeset 14343 | 6bc647f472b9 |
parent 9000 | c20d58286a51 |
child 17456 | bcf7544875b2 |
permissions | -rw-r--r-- |
9000 | 1 |
(* Title: CCL/ex/ROOT.ML |
0 | 2 |
ID: $Id$ |
3 |
Author: Martin Coen, Cambridge University Computer Laboratory |
|
4 |
Copyright 1993 University of Cambridge |
|
5 |
||
6 |
Executes all examples for Classical Computational Logic |
|
7 |
*) |
|
8 |
||
1351 | 9 |
time_use_thy "Nat"; |
10 |
time_use_thy "List"; |
|
11 |
time_use_thy "Stream"; |
|
12 |
time_use_thy "Flag"; |