Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-11-08

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

All times shown according to UTC.

Time Nick Message
03:45 AshleyY joined #isabelle
03:47 AshleyY Hi, is there a round or trunc function?
03:47 AshleyY :: real => int
03:47 AshleyY I couldn't find anything in RealDef.thy.
03:58 AshleyY AKA floor
04:00 AshleyY NM, found it in Archimedean_Field.thy (real is an instance)
18:46 wagle joined #isabelle

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