prio/Moment.thy
2012-04-20 zhang Intuitive definition of "detached" is added to PrioG.thy.
less more (0) -1 tip