1
(* Title: HOL/Lex/ROOT.ML
2
ID: $Id$
3
Author: Tobias Nipkow
4
Copyright 1995 TUM
5
*)
6
7
HOL_build_completed; (*Make examples fail if HOL did*)
8
9
loadpath := ["Lex"];
10
11
use_thy"AutoChopper";
12
13
make_chart (); (*make HTML chart*)