% File 'history.std', to be included in history mode after the macro that
%  specifies the value of maxstep

:- macros
  caused #1 if #2 
	-> (h(#1,var(step)) <= h(#2,var(step))) ;
  caused #1 if #2 after #3 
	-> (h(#1,var(step)+1) <= h(#2,var(step)+1) && h(#3,var(step)))
					where var(step) < maxstep .

anyActions.
anyInitialState.
