hg: lambda/defender-prototype: Refactor FD grammar for fewer disjunctions in syntactic preconditions

[brian.goetz at oracle.com]

Changeset: 18a7771b6c1b
Author:    briangoetz
Date:      2011-03-22 11:56 -0400
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/18a7771b6c1b

Refactor FD grammar for fewer disjunctions in syntactic preconditions

! doc/featherweight-defenders.pdf
! doc/featherweight-defenders.tex