Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-07-14

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

All times shown according to UTC.

Time Nick Message
02:31 gienah joined #isabelle
11:52 gienah joined #isabelle
11:52 gienah joined #isabelle
21:15 relation joined #isabelle
21:17 relation hi! if I prove lemma, it is then automatically considered useful in following proof or should I be explicit about it? thanks

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