added warning and automatic deactivation of HTML generation if we cannot write
.theory_list.txt;
fixed bug which occured when index_path's value is "/"
(* Title: LatPreInsts.thy
ID: $Id$
Author: Markus Wenzel, TU Muenchen
*)
LatPreInsts = OrdInsts + Lattice + CLattice