Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-12-29

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

All times shown according to UTC.

Time Nick Message
04:29 eyebloom joined #isabelle
13:29 phimuemue_ joined #isabelle
15:57 andreas2 joined #isabelle
16:02 andreas2 I am having trouble with exercise 3.4.1 in the tutorial by Nipkow, Paulson, and Wenzel.
16:14 andreas2 If you are interested in helping me, please read http://mitte-bielefeld.de/andreas/ex3-4-1.txt for details.
17:07 eyebloom joined #isabelle
19:08 wagle joined #isabelle
19:23 eyebloom joined #isabelle

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