equal
deleted
inserted
replaced
4 |
4 |
5 Know_Store holds Theory_Data (problems, methods, etc) and requires respective definitions. |
5 Know_Store holds Theory_Data (problems, methods, etc) and requires respective definitions. |
6 *) |
6 *) |
7 theory BaseDefinitions imports Know_Store |
7 theory BaseDefinitions imports Know_Store |
8 begin |
8 begin |
9 ML_file calcelems.sml |
|
10 ML_file termC.sml |
9 ML_file termC.sml |
11 ML_file substitution.sml |
10 ML_file substitution.sml |
12 ML_file contextC.sml |
11 ML_file contextC.sml |
13 ML_file environment.sml |
12 ML_file environment.sml |
14 |
13 |