Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-02-19

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

All times shown according to UTC.

Time Nick Message
14:28 felipealmeida joined #isabelle
20:10 felipealmeida joined #isabelle
20:47 felipealmeida_AW joined #isabelle
20:56 felipealmeida joined #isabelle
22:55 napping joined #isabelle
23:07 napping I'm trying to define a logic from scratch, but adding 'where mp: "[| P ; P --> Q |] => Q"' to the end of the axiomatization block seems to make Isabelle hang when trying to step over it
23:09 napping oops, I declared negation with syntax "_", I think that confused the parser

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