Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-07-12

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary

All times shown according to UTC.

Time S Nick Message
01:17 puritan joined #isabelle
01:18 puritan I had a question about the paper "paramodulation based theorem proving" on stackexchange: http://math.stackexchange.com/[…]d-theorem-proving
22:14 ski joined #isabelle
22:51 tranma joined #isabelle
22:53 tranma_ joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary