equal
deleted
inserted
replaced
1 (* Title: CCL/ex/ROOT.ML |
1 (* Title: CCL/ex/ROOT.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Martin Coen, Cambridge University Computer Laboratory |
3 Author: Martin Coen, Cambridge University Computer Laboratory |
4 Copyright 1993 University of Cambridge |
4 Copyright 1993 University of Cambridge |
5 |
5 |
6 Executes all examples for Classical Computational Logic |
6 Examples for Classical Computational Logic. |
7 *) |
7 *) |
8 |
8 |
9 time_use_thy "Nat"; |
9 time_use_thy "Nat"; |
10 time_use_thy "List"; |
10 time_use_thy "List"; |
11 time_use_thy "Stream"; |
11 time_use_thy "Stream"; |