extended addsplits and delsplits to handle also split rules for assumptions
extended const_of_split_thm, renamed it to split_thm_info
(* Title: ZF/IMP/Bexp.thy
ID: $Id$
Author: Heiko Loetzbeyer & Robert Sandner, TUM
Copyright 1994 TUM
Dummy theory merely recording dependence
*)
Bexp = Aexp