20180203 city.shimla: Make provisions stringent to check illegal mining: Himachal Pradesh HC