added a fresh_left lemma that contains all instantiation
for the various atom-types.
(* Title: CCL/ex/ROOT.ML
ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
Examples for Classical Computational Logic.
*)
time_use_thy "Nat";
time_use_thy "List";
time_use_thy "Stream";
time_use_thy "Flag";