author | wenzelm |
Thu, 17 Apr 1997 14:41:56 +0200 | |
changeset 2972 | 11e124d2e184 |
parent 1474 | 3f7d67927fe2 |
child 3837 | d7f033c74b38 |
permissions | -rw-r--r-- |
(* Title: CTT/bool ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge The two-element type (booleans and conditionals) *) Bool = CTT + consts Bool :: "t" true,false :: "i" cond :: "[i,i,i]=>i" rules Bool_def "Bool == T+T" true_def "true == inl(tt)" false_def "false == inr(tt)" cond_def "cond(a,b,c) == when(a, %u.b, %u.c)" end