blanchet [Wed, 07 Sep 2011 21:31:21 +0200] rev 45675
added new guards encoding to test
blanchet [Wed, 07 Sep 2011 21:31:21 +0200] rev 45674
smarter explicit apply business
blanchet [Wed, 07 Sep 2011 21:31:21 +0200] rev 45673
started work on ghost type arg encoding
blanchet [Wed, 07 Sep 2011 21:31:21 +0200] rev 45672
stricted type encoding parsing
wenzelm [Wed, 07 Sep 2011 20:29:54 +0200] rev 45671
some tuning for release;
wenzelm [Wed, 07 Sep 2011 18:01:01 +0200] rev 45670
updated file locations;
wenzelm [Wed, 07 Sep 2011 17:42:57 +0200] rev 45669
merged
wenzelm [Wed, 07 Sep 2011 17:03:34 +0200] rev 45668
clarified import;
wenzelm [Wed, 07 Sep 2011 16:53:49 +0200] rev 45667
tuned/simplified proofs;
wenzelm [Wed, 07 Sep 2011 16:37:50 +0200] rev 45666
tuned proofs;