#
1fbad939 |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from source files (and some trailing w/space)
|
#
4888f523 |
|
15-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove eqtype declaration for term type
|
#
32bf1e49 |
|
02-Feb-2015 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
extra semicolons removed from (some) .sig files
|
#
cda6aefc |
|
21-Nov-2005 |
Jens Brandt <brandt@cs.uni-kl.de> |
Initial version of theory and libraries of rational numbers added.
|