Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-07-12

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

All times shown according to UTC.

Time 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/questi​ons/169398/ordering-of-multisets-in-​paramodulation-based-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 | summary