1
(* Title: LCF/ROOT.ML
2
ID: $Id$
3
Author: Tobias Nipkow
4
Copyright 1992 University of Cambridge
5
*)
6
7
val banner = "Logic for Computable Functions (in FOL)";
8
writeln banner;
9
10
use_thy "LCF";