added an intro lemma for freshness of products; set up
the simplifier so that it can deal with the compact and
long notation for freshness constraints (FIXME: it should
also be able to deal with the special case of freshness
of atoms)
(* 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";