1
(* Title: HOLCF/IOA/ABP/Action.ML
2
ID: $Id$
3
Author: Olaf Mueller
4
Copyright 1997 TU Muenchen
5
6
Derived rules for actions
7
*)
8
9
Goal "!!x. x = y ==> action_case a b c x = \
10
\ action_case a b c y";
11
by (Asm_simp_tac 1);
12
13
Addcongs [result()];