Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2013-11-05

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

All times shown according to UTC.

Time Nick Message
00:58 ski joined #isabelle
01:02 mal`` joined #isabelle
01:41 madez joined #isabelle
03:25 madez_ joined #isabelle
04:07 _ilbot joined #isabelle
04:07 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
11:13 felipealmeida joined #isabelle
12:08 madez joined #isabelle
17:29 felipealmeida joined #isabelle
19:25 javra joined #isabelle
19:26 javra is there anybody here atm?
19:27 javra i've got a problem with understanding fixed and schematic records
19:27 javra i try to proof the following: http://pastebin.com/jSDTbxKW which should actually be trivial, but i fail
19:28 javra either i'm a bit blind and don't see a mistake, but i guess it's because of the difference between ring and ring_scheme?
21:45 madez_ joined #isabelle

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