Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-07-05

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

All times shown according to UTC.

Time Nick Message
02:39 lazard joined #isabelle
13:24 xvzf joined #isabelle
13:25 xvzf hi there, newbie to Isar, how can I define a value that I can refer to later? I would create a value by SOME and then prove things about it
17:49 wagle joined #isabelle
22:08 tomprince joined #isabelle

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