added LaTeXMathML files
[lambda.git] / lambda_library.mdwn
2010-10-17 Chris Barkerchanges to offsite-reading
2010-10-07 Jim Pryorlibrary tweaks
2010-10-07 Jim Pryoradd left,CPS lists to library
2010-10-04 Jim PryorMerge branch 'pryor'
2010-10-04 Jim Pryortweak Oleg's rev,list_equal
2010-10-04 Jim Pryoradd in Oleg's list_equal
2010-10-04 Jim Pryorlibrary: added Oleg's revappend
2010-10-04 Jim Pryorlibrary: tweak gcd
2010-10-04 Jim Pryoradded gcd,lcm to library
2010-10-04 Jim PryorMerge branch 'pryor'
2010-10-04 Jim Pryorassign 4: hints for list_equal
2010-10-04 Chris Barkeredits
2010-10-03 Jim Pryorlibrary: 1st,2nd->fst,snd
2010-10-03 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-10-03 Jim Pryoradd list_equal to library (commented out)
2010-10-03 Jim Pryorlibrary tweak
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorarithmetic -> lambda_library