1
(* Title: CCL/ex/ROOT.ML
2
Author: Martin Coen, Cambridge University Computer Laboratory
3
Copyright 1993 University of Cambridge
4
5
Examples for Classical Computational Logic.
6
*)
7
8
use_thys ["Nat", "List", "Stream", "Flag"];