Examples in the web interface are now stored in Leon

testcases/web/demos/01_Compiler.scala

testcases/web/demos/02_Lists.scala

testcases/web/demos/03_Splits.scala

testcases/web/demos/04_Sort.scala

testcases/web/demos/05_OpenDays.scala

testcases/web/demos/05_OpenDays1.scala

testcases/web/demos/05_OpenDays2.scala

testcases/web/sav15/01_Exercise1.scala

testcases/web/sav15/02_Exercise2.scala

testcases/web/sav15/03_Exercise3.scala

testcases/web/sav15/04_Exercise4.scala

testcases/web/sav15/05_Exercise5.scala

testcases/web/sav15/06_Exercise6.scala

testcases/web/sav15/07_Exercise7.scala

testcases/web/sav15/08_Exercise8.scala

testcases/web/synthesis/01_List_Insert.scala

testcases/web/synthesis/02_List_Delete.scala

testcases/web/synthesis/03_List_Union.scala

testcases/web/synthesis/04_List_Diff.scala

testcases/web/synthesis/05_List_Split1.scala