Added strategies for transitions and updated the search function
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Strategy stuff
Merge branch 'master' of https://github.com/kframework/k
Finalized transition strategy application
Added strategies directory and files
Merge branch 'master' of https://github.com/kframework/k
Reverted some debug changes to KompileFrontEnd.java
Reverted some debug changes to simple-untyped.k
Merge branch 'master' of https://github.com/kframework/k