2005-12-07 wenzelm replaced swap by Classical.swap;
2005-12-07 wenzelm avoid unportable tail;
2005-12-07 urbanc tuned
2005-12-06 haftmann removed thms 'swap' and 'nth_map' from ML toplevel
2005-12-06 haftmann improved serialization of classes to haskell
2005-12-06 haftmann improved class handling
2005-12-06 haftmann added 'dig' combinator
2005-12-06 haftmann re-oriented some result tuples in PureThy
Loading...
(0) -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip