put global isatest settings in one file, sourced by the other scripts
(* Title: HOLCF/ex/Fix2.thy ID: $Id$ Author: Franz RegensburgerShow that fix is the unique least fixed-point operator. From axioms gix1_def,gix2_def it follows that fix = gix*)Fix2 = Fix + consts gix :: "('a->'a)->'a"rulesgix1_def "F$(gix$F) = gix$F"gix2_def "F$y=y ==> gix$F << y"end