e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
80fa8cedf41af85cd602945b6a267242f44a7b81 |
|
22-Oct-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed ghc warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18275 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e4fe646cad79449dff25a3bb7fcebad76b72c95 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
* use HOLCF image
* export / import HOLCF commands domain and fixrec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18264 cec4b9c1-7d33-0410-9eda-942365e851bb |
10598b3b999ecbac0347ff422d56b1d97db296b7 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
* export param type inferred from context
* further improvements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18263 cec4b9c1-7d33-0410-9eda-942365e851bb |
f34d3f5bda0be3ded217da71c1e2e30ee03ca5a1 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
adapted import and pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18262 cec4b9c1-7d33-0410-9eda-942365e851bb |
6764d16780980d70ed80b17465e07c3bb811e28a |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
improved fun export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18259 cec4b9c1-7d33-0410-9eda-942365e851bb |
e604ebb440d3ed0414aa2d54ff962768f0a27933 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
export and import defs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18258 cec4b9c1-7d33-0410-9eda-942365e851bb |
d40eeef0175161a089443ba027dcb635ed11a1bd |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
import and pretty print typedef
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18257 cec4b9c1-7d33-0410-9eda-942365e851bb |
93cd42c036c9ef3fed58d4872bab5d72371d80d1 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
improved export of subclass cmd
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18253 cec4b9c1-7d33-0410-9eda-942365e851bb |
59bed9a19a4646b44b7e837f5f9ab35183833d3b |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
import / pretty printing of instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18251 cec4b9c1-7d33-0410-9eda-942365e851bb |
383d883a81d3bc4ad7b14aa28e03f0f35baec458 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
adapted dtd and import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18241 cec4b9c1-7d33-0410-9eda-942365e851bb |
61d26ef772466529400bc460e7c69f67c1173b56 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
refactored use of fixes and assumes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18234 cec4b9c1-7d33-0410-9eda-942365e851bb |
42b0311155dd27a5f8ba917b280c9f7989b73ec9 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
improved pretty printing of lemmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18233 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca8f01a2b83fbb929aaf29629f71b10fd867956a |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
adapted dtd & isabelle import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18232 cec4b9c1-7d33-0410-9eda-942365e851bb |
617719566ec7a718fc4f601c02ca91f21ca6deb6 |
|
27-Apr-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
new isabelle export script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17920 cec4b9c1-7d33-0410-9eda-942365e851bb |
eca83bf7d98670ee4fa52661d2f8222429a4f91a |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
read in function definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17835 cec4b9c1-7d33-0410-9eda-942365e851bb |
705d8c3d5549a00d4b00e0cb80e3a77441f85267 |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
import of definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17834 cec4b9c1-7d33-0410-9eda-942365e851bb |
88742725989560e29a45dcef33ebd87e97e5f967 |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a couple issues with the pretty printer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17367 cec4b9c1-7d33-0410-9eda-942365e851bb |
1449d256f45fdae8cd536aa57aacffdb87bb6c63 |
|
08-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
compare locales, too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17142 cec4b9c1-7d33-0410-9eda-942365e851bb |
29bea0b023210ba4ac7fe06ffa6ae80309291348 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
import locales from isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17139 cec4b9c1-7d33-0410-9eda-942365e851bb |
1dfa74e3151ce63c12483d7268fe096d82e82076 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
mkVName automatically adds AltSyntax for known constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17132 cec4b9c1-7d33-0410-9eda-942365e851bb |
50ec2512ec38a3a0c793c65583e60ef12beaae33 |
|
04-Jul-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
eliminated RecDef as its use resulted in invalid isabelle 2012 code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17008 cec4b9c1-7d33-0410-9eda-942365e851bb |
90d97972167d142dde6ee8b18d9625332040261f |
|
04-Jul-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
isabelle 2012 does not support alternative type names anymore
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17003 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2ffbb0cced4c2e4cc1ec3266847881a17f32d34 |
|
28-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added support for importing classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16988 cec4b9c1-7d33-0410-9eda-942365e851bb |
952051448ecc60de5f22f778ee60c16c781ab114 |
|
12-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed naming of bound variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16914 cec4b9c1-7d33-0410-9eda-942365e851bb |
547a7a7094b5657eaf5a7ca89840cebc83b09d0f |
|
12-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added bound variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16904 cec4b9c1-7d33-0410-9eda-942365e851bb |
e29b8f886533643eb2b9a8601606a9f5e40cd237 |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
alternative names for rec types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16783 cec4b9c1-7d33-0410-9eda-942365e851bb |
22b772f8753f0cdb4508ba460356c238de2ee375 |
|
14-Mar-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
first version of import from isabelle. has issues with printing imported datatypes and doesn't support all term types yet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16726 cec4b9c1-7d33-0410-9eda-942365e851bb |
33586f6501f7c063f20e3090a2c4b44588b59e6a |
|
07-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16653 cec4b9c1-7d33-0410-9eda-942365e851bb |
16ae470521210b4f13feaa15e6de1b343a8e4e7a |
|
26-Jul-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Started the process of getting CSP-CASL-Prover to work with Isabelle 2011
Added a new Isabelle sentence constructor for primitive recursion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15721 cec4b9c1-7d33-0410-9eda-942365e851bb |
91084541005fb26556f5dfcda3592cbd7168c351 |
|
01-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
indexed type variables are not used
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14465 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
269c98e2ccf268d3d5d19d46d3d242fad726b882 |
|
08-Jul-2010 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Changed Isabelle (and CSP-CASL-Prover) to support new Isar instantiation syntax in place of the old one
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13695 cec4b9c1-7d33-0410-9eda-942365e851bb |
e79249c976eff391999c5caebd171bededc26e33 |
|
24-Mar-2010 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added a new sentence type to represent a colelction of lemmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13270 cec4b9c1-7d33-0410-9eda-942365e851bb |
5680f46b503ac7ed366ab9c4b547e524e6646527 |
|
19-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unicode char
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12982 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ed6194df1b200ba6522dfaa0c5c8d952bc3451a |
|
25-Mar-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
* Modified Isabelle Proof Commands such that the + symbol can be used to repeat
the command in Isabelle
* Changed CspCASLProver to use the above Proof Commands
* CspCASLProver now produces much more efficient code for the reflexivity,
symmetry and transitivity proofs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11577 cec4b9c1-7d33-0410-9eda-942365e851bb |
16e124196c6b204769042028c74f533509c9b5d3 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require Ord instances also for signatures and morphism for efficiency reasons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11438 cec4b9c1-7d33-0410-9eda-942365e851bb |
24c0d59f7d493eab088998fe720ef31c2e64bdc7 |
|
08-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11242 cec4b9c1-7d33-0410-9eda-942365e851bb |
09a6d717ff34892d7af9677f8a5bae905d163027 |
|
08-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended Isabelle theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11241 cec4b9c1-7d33-0410-9eda-942365e851bb |
36a612da157c0b6528b87533da53ec7e62bdf5d7 |
|
22-Aug-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added the generation of the choose functions along with the theorem and
proof in the comorphism CspCASL2IsabelleHOL.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10574 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c6a73b4e0667c9397ef40a017ea18335489b70b |
|
20-Aug-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added two new proof methods for Isabelle proofs (auto and simp with
modifiers). Added modifiers as a datatype. chanaged proofs methods to
use terms and not strings. Finished the decomposition proof generation
for the translation CspCASL2IsabelleHOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10548 cec4b9c1-7d33-0410-9eda-942365e851bb |
01e278bdd7dce13b9303ed3d79683d83c89d09f9 |
|
19-Aug-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
merged Isabelle.IsaSign and Isabelle.IsaProof
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10539 cec4b9c1-7d33-0410-9eda-942365e851bb |
65f3cba1cc071292846eb69c59007c5a199ee941 |
|
01-Aug-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Fixed all warnings, shortend lines and removed white space
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10436 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4257c7b13b1122a1e6ec9e43753f3e565b88449 |
|
29-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
started #557
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10406 cec4b9c1-7d33-0410-9eda-942365e851bb |
72aaab1105e454ec9f49103874cd8006dc2a358c |
|
15-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Liam: Extended IsaSign.Sentence with a new constructor TypeDef that allows
new types to be made from old types (namely subsets). Also changed an
Isabelle Senetence to use MetaTerms so that we can use [| |] ==> in
theorems in Isabelle. Made much progress on the CspCASL2Isabelle
Comorphism.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10331 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4ba3e20a432419afff01558e425e00be42871d8 |
|
15-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added instance sentences and used Proof type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10329 cec4b9c1-7d33-0410-9eda-942365e851bb |
0509e5cfe802889013de1e2898f3c17929de7ac8 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10316 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdd2ea0556081ab3fdca6cd8846c4f1eee74fd3a |
|
09-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Liam: Added a basic Isabelle Proof datatype and integrated it into IsaSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10285 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b61e3157fe3f908a60f1842ffa986c5a1c15154 |
|
17-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a subsignature test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9774 cec4b9c1-7d33-0410-9eda-942365e851bb |
38f8320f50c5f63965ba42e4e48f38be07c823cf |
|
02-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing white space using: perl -i -ple 's/ +$_g' */*.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9131 cec4b9c1-7d33-0410-9eda-942365e851bb |
5dabf3aa782c97887d9e4253bece5a39900f542f |
|
01-Nov-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
cleaned up comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9128 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2607169a070724ea773d1b17cf6e716479795e1 |
|
10-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct header again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8821 cec4b9c1-7d33-0410-9eda-942365e851bb |
be34ad43a7ea867365335fde024bea8c4ae9c4b4 |
|
09-Sep-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
changes related with shift to lifted types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8817 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1f395fef7ea8b00a675a330e5461fad35158ca5 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8319 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
eea4921dafc41c1e2ed3782a9cdc1a2482b79efb |
|
23-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unnecessary Isabelle term constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7094 cec4b9c1-7d33-0410-9eda-942365e851bb |
29379037d0a2fc17c96c49bd343a3f276a5b34a6 |
|
02-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed termType of Free and Abs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6998 cec4b9c1-7d33-0410-9eda-942365e851bb |
81eaac399d69af15425d06b054e5d0331dbc132b |
|
25-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed MixfixApp constructor for an unique application representation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6892 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1c15a7326ee74b7d2cfd26ab30baf947a766084 |
|
29-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
(re)moved higher kinds (toHs2HOLCF)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6398 cec4b9c1-7d33-0410-9eda-942365e851bb |
478ca1f78ea64609660fc46d76a4bdca022f00c0 |
|
31-Jan-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
monad translation; added theoryName to Sig
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5742 cec4b9c1-7d33-0410-9eda-942365e851bb |
b57f310a9f7e6a0dc782d677564b402345900334 |
|
15-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added HsHOL to BaseSig
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5524 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ef05f4edeb290beb89845f57156baa5298af7c4 |
|
08-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added consistency checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5506 cec4b9c1-7d33-0410-9eda-942365e851bb |
60f23c9668dfef9725ed7f1e7a6f6e8eaafd9fc4 |
|
07-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5500 cec4b9c1-7d33-0410-9eda-942365e851bb |
cded714319c4eed27d3562d250b1177de2f2f0cb |
|
16-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
no Show for printAlt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5406 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f65d931e866162d39d09c43021a55314040b377 |
|
11-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed VName for alternative syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5381 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ac0c4de66a297fd7e345d9275f723fd83bb7bd1 |
|
10-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up and changed second VName component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5374 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb027d3cacbd83dfec98beb38001f105e4918557 |
|
07-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
kept only single table for domain or data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5350 cec4b9c1-7d33-0410-9eda-942365e851bb |
9607ff1097b35f08dc9641a554bbe66f07299a5a |
|
07-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use VName.new for ConstTab lookup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5349 cec4b9c1-7d33-0410-9eda-942365e851bb |
120c9bff9059626735fc12b0399dcc9e5a62c345 |
|
24-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved constants from IsaSign to IsaConsts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5242 cec4b9c1-7d33-0410-9eda-942365e851bb |
14a3cc9512ab27e1f59f01cc23f7d9f97e2e1c4c |
|
24-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed type synonyms IName, Indexname and CName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5241 cec4b9c1-7d33-0410-9eda-942365e851bb |
5421dfe94879c995076603a87a5699714123660e |
|
24-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused Pure and HOL stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5237 cec4b9c1-7d33-0410-9eda-942365e851bb |
13ed13e06a5dd4aad12044ed7e7503cbe7f62990 |
|
19-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
merged in Tina's branch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5216 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f47ba5a7151e73f2540d01492b83f7e34605730 |
|
05-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
Paolo's update
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5125 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd39ce6d31284dccef9f8e530c4a2155855b09c1 |
|
27-Jun-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
correction in isaTerm
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4511 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ebe3aaf5fa9d4e108a8acbf9fc9d96343a2511 |
|
27-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed for haddock resp. make doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4509 cec4b9c1-7d33-0410-9eda-942365e851bb |
18add8af02b20308ebc8587b9692453c09bb990c |
|
24-Jun-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
minor change to Classrel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4500 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5e231ee4359da4667d54016848220c590a77b79 |
|
25-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
removed an import and a type synonim
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4332 cec4b9c1-7d33-0410-9eda-942365e851bb |
021d18f2ee4fb07bb005693321ef9e2dd888f211 |
|
20-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
minor changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4309 cec4b9c1-7d33-0410-9eda-942365e851bb |
32da389d2c1ab9c5754cc2ddc7781f4621117170 |
|
18-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
introduced HsHOLCF as main theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4292 cec4b9c1-7d33-0410-9eda-942365e851bb |
1034735cf978d8789b6dec8917a9bc0695e3cb69 |
|
13-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
minor changes to Term datatype
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4271 cec4b9c1-7d33-0410-9eda-942365e851bb |
db09d69eb41e5e0f606581b991d9e2dd1ac32784 |
|
03-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved auxiliary types to Haskell2IsabelleHOLCF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4192 cec4b9c1-7d33-0410-9eda-942365e851bb |
9211d12224eaace6045457b313b97e4ab86f2479 |
|
03-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Isabelle sentence type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4190 cec4b9c1-7d33-0410-9eda-942365e851bb |
9cd8e4f04f2f27540c7e10c23db387c59ec49858 |
|
03-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved dictionary treatment to Haskell2IsabelleHOLCF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4188 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5158491a92f997909f15a0a9a06c9ed30877ddb |
|
03-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4187 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a70dcb504aa17f8f29c9d22b2ffb926e3f71b3c |
|
03-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
change in type Sentence, Term constructors added, new functions added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4181 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f6b97541fdee30d62a0a3cfa58173212a6cd002 |
|
28-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced an enumeration type for the Isabelle base signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4151 cec4b9c1-7d33-0410-9eda-942365e851bb |
729aff22a7983f5bb113dcc604157edd728c1484 |
|
02-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced default morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3896 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f39d44f0b8c39a92606ba06fd668dc0cc2752ca |
|
28-Feb-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
minor changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3868 cec4b9c1-7d33-0410-9eda-942365e851bb |
4356cc83aeced887b37a9474492809ae74b114b3 |
|
02-Feb-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
modified typeAppl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3761 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebb6909e8b1f54edc8f80aa849209851d0acd22e |
|
28-Jan-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
removed causes of warning messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3735 cec4b9c1-7d33-0410-9eda-942365e851bb |
e710c9cfca938a3fb6d8d1e3c336f1c75b86ccbd |
|
25-Jan-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
modified types for types, terms, type application, arities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3707 cec4b9c1-7d33-0410-9eda-942365e851bb |
e293a2e5c05881b57a7cd9a4b273b67f594e047e |
|
10-Dec-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Changed IsaSign.mkTypeAppl -> Printing of typeAppls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3546 cec4b9c1-7d33-0410-9eda-942365e851bb |
5308ef83ee1b668f4cf6c8278bc645e7e0f8b4ed |
|
26-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Connected Isabelle consistency checker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3468 cec4b9c1-7d33-0410-9eda-942365e851bb |
890dc9daf1cf707417ca6abfd052e97ac6c6594f |
|
18-Nov-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3447 cec4b9c1-7d33-0410-9eda-942365e851bb |
a3acfcfbd58cc5529becffcda29f7de49f9500a7 |
|
11-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed IsaClass again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3422 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a8e8dfa317cdb486ca05d71996a27d60bf3c718 |
|
09-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
use PrettyPrint rather than Show
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3411 cec4b9c1-7d33-0410-9eda-942365e851bb |
40a2368e1fa061488d0be6886368ab1c8391b97f |
|
05-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed --> from IsaSign for haddock inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3384 cec4b9c1-7d33-0410-9eda-942365e851bb |
410307167d116ddab45e02698eac31043619ed05 |
|
05-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
merged in Paolo's changes of IsaSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3382 cec4b9c1-7d33-0410-9eda-942365e851bb |
c673000621dd506e5fc7babf8ca6303b7fcefc14 |
|
21-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3315 cec4b9c1-7d33-0410-9eda-942365e851bb |
b172714c339053a40393dc0cf4f9151c97695e01 |
|
19-Oct-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added showLemmas flag to Isabelle signs, to chose whether lemmas with
simplified axioms should be included or not
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3270 cec4b9c1-7d33-0410-9eda-942365e851bb |
52a5c49b7e6d1dbff2e298d7287282fd84002489 |
|
14-Oct-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Replaced dummyT with noType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3250 cec4b9c1-7d33-0410-9eda-942365e851bb |
840ad39a5a571d5170e7bc4796058208502fa73f |
|
08-Oct-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added necessary term printing (because of changes in HasCASL2Isabelle)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3230 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b4c68db8b465107cabef8b9cd5b6bc216e1b156 |
|
09-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added comments
Added stand-alone analysis program hana (for Haskell)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3157 cec4b9c1-7d33-0410-9eda-942365e851bb |
002e43ba28b7d128ec8f7e00bf08117d0072fe73 |
|
16-Aug-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added Case in datatype Term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3061 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce8b15da31cd181b7e90593cbbca98f47eda29d6 |
|
22-Jul-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed PCFOL2FOL
Modularized CoCASL2ISabelleHOL
(Partly) solved Qual_var problem in Overload
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2969 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6394d32aa166baa33e517568126f71a90f88864 |
|
16-Jul-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Introduced new types for dataTypeTab in a Isabelle signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2947 cec4b9c1-7d33-0410-9eda-942365e851bb |
bab1df035a5b5cb9087c445ecbcb34359f9e4387 |
|
26-May-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Moved all instances concerning (Pretty) Printing to IsaPrint.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2716 cec4b9c1-7d33-0410-9eda-942365e851bb |
2327fa4db1c5aeca109f1d9ca1d3036ba75450e3 |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added PrintLaTeX instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2654 cec4b9c1-7d33-0410-9eda-942365e851bb |
b465b2dc59a304f5f9e1126622b0da8e734f416a |
|
18-May-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Changed (in datatype Term) Abs(String, Typ, Term) to Abs(Term, Typ, Term)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2637 cec4b9c1-7d33-0410-9eda-942365e851bb |
4a9be31049b870a9a8cc47309367ff58176ee653 |
|
17-May-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added few utility-funtions like mkOptionType etc.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2618 cec4b9c1-7d33-0410-9eda-942365e851bb |
20369c6d3bbf3c48f678e92401d8465b80e86676 |
|
11-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added datatypes for Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2576 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a84cc409ed345569be6673d05072dcb4291ebe |
|
10-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2572 cec4b9c1-7d33-0410-9eda-942365e851bb |
1361b09b79b95d47e03eba7a1fc9eddc39aa0455 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Typeable instances to Logic (so that it finds mkTyConApp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2557 cec4b9c1-7d33-0410-9eda-942365e851bb |
59fa9b1349ae1e001d996da732c4ac805c2938e2 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adaptions for ghc-6.3: mkAppTy -> mkTyConApp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2556 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
eafd24c6c0ea5a4716a53ed0e8901363757b03c1 |
|
16-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Simple_Id for variables changed to Qual_var
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2285 cec4b9c1-7d33-0410-9eda-942365e851bb |
38f350357e92da312d2c344352180b3dc5c1fc8a |
|
13-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Isabelle interface debugged
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2273 cec4b9c1-7d33-0410-9eda-942365e851bb |
345095b32a9de3d86a8cc51bbbd8809b7c707297 |
|
12-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Prelimiary show theory added to node menu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2264 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe19deda2fe2570f9d599e58fdbc991248d08325 |
|
12-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
first draft of comorphism CASL->Isabelle completed; computation of theory of DG node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2263 cec4b9c1-7d33-0410-9eda-942365e851bb |