Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-08-26

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

All times shown according to UTC.

Time Nick Message
08:39 tpsinnem joined #isabelle
11:10 felipealmeida joined #isabelle
11:47 felipeal` joined #isabelle
12:23 shelf joined #isabelle
14:41 xvzf joined #isabelle
14:42 xvzf hi there, I have a newcomer question: I have a relation defined by consts r :: "i => i => bool" (infixr "r" 70) -- how can I constraint it so it is reflexive and transitive? which keyword should I use?
15:47 felipealmeida joined #isabelle
18:47 felipealmeida joined #isabelle
20:14 felipeal` joined #isabelle

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