Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-12-12

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
06:00 bwright joined #isabelle
10:41 dating joined #isabelle
10:41 dating http://netdate.dk/ :-)
10:41 dating left #isabelle
15:28 int-e hah. wrong isabelle
16:21 phimuemue_ joined #isabelle
16:32 phimuemue_ hi, why isn't isabelle able to prove the following lemma with auto?
16:32 phimuemue_ lemma state_helper: "(λa. if a = 0 then 0::nat else <> a) (i::nat) = <> i"
21:34 wagle joined #isabelle
21:58 wagle joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary