2012-05-23 Christian Urban improved handling in the simplifier for inequalities derived from freshness assumptions
2012-05-22 Cezary Kaliszyk Executing Lambda Terms
2012-05-22 Cezary Kaliszyk Added workaround for broken quotient_type in tip isabelle.
2012-05-12 Christian Urban further cleaning Nominal2-Isabelle2012
2012-05-12 Christian Urban cleaned also examples Nominal2-Isabelle2012
2012-05-12 Christian Urban cleaned the repository for Nominal2-Isabelle2012 Nominal2-Isabelle2012
Loading...
(0) -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 tip