| #
2bc66df7 |
|
20-Dec-2017 |
Andreas Lööw <AndreasLoow@users.noreply.github.com> |
Include Abbrev in dep_rewrite
Before this fix this happened:
> rw [];
val it = fn: tactic
> open dep_rewrite;
[...]
> rw [];
val it = fn: bossLib.tactic
|
| #
32bf1e49 |
|
02-Feb-2015 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
extra semicolons removed from (some) .sig files
|
| #
08d7a558 |
|
23-Oct-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
trailing newlines in *.{sml,sig} files from src/ removed
Trailing newlines from SML files in src/ were rendered in HTML documentation.
|
| #
1bc9f344 |
|
13-Jan-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Change src/bool to src/1 as a prelude to experimentation!
|