Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-05-16

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

All times shown according to UTC.

Time Nick Message
13:46 kini joined #isabelle
14:05 d_newcastle joined #isabelle
14:07 dmdias joined #isabelle
14:08 dmdias Dear all, I am reading the tutorial of Isabelle, chapter 5 (The Rules of The Game). When I type "thm conjI", the theorem appears as "?P ==> ?Q ==> ?P /\ ?Q". How can I see it as "[?P ; ?Q] ==> ?P/\?Q" as in the textbook?
14:42 Jafet Short attention spans these days
17:20 mekeor joined #isabelle
22:36 kini joined #isabelle
22:36 mal`` joined #isabelle
22:36 ezyang joined #isabelle

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