Fri, 02 Jun 2000 17:42:43 +0200 Many new theorems about multisets and their ordering, including basic
paulson [Fri, 02 Jun 2000 17:42:43 +0200] rev 9017
Many new theorems about multisets and their ordering, including basic laws like {#} <= M. Renamed union_comm to union_commute. Introduced the collection operator {# x:M. P x #}.
Fri, 02 Jun 2000 15:19:18 +0200 *** empty log message ***
nipkow [Fri, 02 Jun 2000 15:19:18 +0200] rev 9016
*** empty log message ***
Fri, 02 Jun 2000 12:44:04 +0200 added HOL/Prolog
oheimb [Fri, 02 Jun 2000 12:44:04 +0200] rev 9015
added HOL/Prolog
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip