Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-02-18

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

All times shown according to UTC.

Time Nick Message
11:11 kaki joined #isabelle
11:22 felipealmeida joined #isabelle
12:04 kaki Does someone know what packages have to imported to calculate with vectors? E.g. value "(3::real,2)*2", response from Isabelle (6,4)
16:41 felipealmeida joined #isabelle
20:12 kaki or atleast point me to somewhere I can read how to do it...
20:13 kaki I'm quite desperate. I'm sure Isabelle already has definitions of vectors, how to note them, how to calculate with them, built inside some theory which I just have to load.
20:13 kaki But I don't find no Documentation about theory it is and what notions it uses
23:35 felipealmeida joined #isabelle

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