Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-03-02

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

All times shown according to UTC.

Time Nick Message
05:22 lispy if I have p ==> a \/ b, how do I rewrite my goal to (p ==> a) \/ (p ==> b) ?
18:50 jeffreylevesque joined #isabelle
18:51 jeffreylevesque what is this?

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