regexp: prio/README@8524f94d251b (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	urbanc
	Sun, 12 Feb 2012 11:30:17 +0000
changeset 300	8524f94d251b
parent 282	a3b4eed091d2
permissions	-rw-r--r--