regexp: prio/README@21428f38e506 (annotated)

282 a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	1	Theories:
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	2	=========
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	3
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	4	Precedence_ord.thy A theory of precedences.
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	5	Moment.thy The notion of moment.
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	6	PrioGDef.thy The formal definition of the PIP-model.
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	7	PrioG.thy Basic properties of the PIP-model.
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	8	ExtGG.thy The correctness proof of the PIP-model.
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	9	CpsG.thy Properties interesting for an implementation.
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	10
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	11	The repository can be checked using Isabelle 2011-1.
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	12
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	13	isabelle make session
a3b4eed091d2 moved unused theories to Attic urbanc parents: 281 diff changeset	14

author	wu
	Mon, 13 Aug 2012 12:08:52 +0000
changeset 364	21428f38e506
parent 282	a3b4eed091d2
permissions	-rw-r--r--