Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-01-14

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

All times shown according to UTC.

Time Nick Message
01:04 napping joined #isabelle
01:57 napping Is something wrong with this code: http://hpaste.org/56428 ? I'm trying to follow the isabelle tutorial, which claims simp_all should finish the proof
02:34 napping joined #isabelle
03:18 napping Ah, I see I wrote substsa and substsb instead of substa and substb in the final lemma
03:20 napping I wonder why it wasn't listed in /\, but now I see it was highlighed blue like the free variables
05:45 eyebloom joined #isabelle
06:20 eyebloom joined #isabelle
07:01 eyebloom joined #isabelle
08:59 eyebloom joined #isabelle
09:08 phimuemue_ joined #isabelle
12:50 phimuemue__ joined #isabelle
20:36 eyebloom joined #isabelle
21:56 eyebloom joined #isabelle
22:35 eyebloom_ joined #isabelle
23:11 eyebloom joined #isabelle

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