src/HOL/Bali/ROOT.ML

Introduced new syntax for maplets x |-> y

(*  Title:      isabelle/Bali/ROOT3.ML
    ID:         $Id$
    Author:     David von Oheimb
    Copyright   1999 Technische Universitaet Muenchen

The Hoare logic for Bali
*)

update_thy "AxExample";
update_thy "AxSound";
update_thy "AxCompl";
update_thy "Trans";