Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-12-14

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

All times shown according to UTC.

Time Nick Message
11:11 silver joined #isabelle
11:58 JCaesar larsrh: what was the name again of the thing Prof Nipkow mentioned… case_of_simps, or something?
12:06 larsrh case_of_simps and simps_of_case
12:06 larsrh it's in HOL-Library I think
12:40 JCaesar Simps_Case_Conv.thy, indeed.
12:40 JCaesar ty
14:57 silver joined #isabelle
15:04 renopt joined #isabelle
20:44 dmiles joined #isabelle
21:30 ammbauer joined #isabelle
21:32 ammbauer joined #isabelle
21:45 aindilis2 joined #isabelle
22:22 silver_ joined #isabelle
22:31 silver_ joined #isabelle

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