Added theorems True_not_False and False_not_True
(for rep_datatype).
(* Title: HOL/MiniML/ROOT.ML ID: $Id$ Author: Wolfgang Naraschewski and Tobias Nipkow Copyright 1995 TUMType inference for MiniML*)HOL_build_completed; (*Make examples fail if HOL did*)writeln"Root file for HOL/MiniML";time_use_thy "W";